TY - BOOK ID - 46320826 TI - NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings AU - Badger, Julia M. AU - Rozier, Kristin Yvonne. PY - 2019 SN - 3030206521 3030206513 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Software engineering. KW - Computer science. KW - Information theory. KW - Artificial intelligence. KW - Computer simulation. KW - Computer network architectures. KW - Software Engineering. KW - Programming Languages, Compilers, Interpreters. KW - Theory of Computation. KW - Artificial Intelligence. KW - Simulation and Modeling. KW - Computer Systems Organization and Communication Networks. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer organization. KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing 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 - Fifth generation computers KW - Neural computers KW - Computer software engineering KW - Engineering KW - Organization, Computer KW - Electronic digital computers KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Calculators KW - Cyberspace KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial UR - https://www.unicat.be/uniCat?func=search&query=sysid:46320826 AB - This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems. ER -