TY - BOOK ID - 66113097 TI - Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part III AU - Steffen, Bernhard AU - Margaria-Steffen, Tiziana PY - 2020 SN - 3030614700 3030614697 PB - Cham, Switzerland : Springer, DB - UniCat KW - Software engineering. KW - Computer logic. KW - Artificial intelligence. KW - Architecture, Computer. KW - Software Engineering/Programming and Operating Systems. KW - Logics and Meanings of Programs. KW - Artificial Intelligence. KW - Computer System Implementation. KW - Architecture, Computer KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer software engineering KW - Engineering KW - Formal methods (Computer science) KW - Blockchains (Databases) KW - Robots KW - Computer software KW - Programming KW - Verification KW - Automata KW - Automatons KW - Robotics KW - Manipulators (Mechanism) KW - Mecha (Vehicles) KW - Block chains (Databases) KW - Database security KW - Distributed databases KW - Computer science. KW - Computer systems. KW - Software Engineering. KW - Computer Science Logic and Foundations of Programming. KW - ADP systems (Computer systems) KW - Computing systems KW - Systems, Computer KW - Electronic systems KW - Cyberinfrastructure KW - Informatics KW - Science UR - https://www.unicat.be/uniCat?func=search&query=sysid:66113097 AB - The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. . ER -