TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-030-20
DO  - doi
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.
T1  - NASA Formal Methods :11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
AU  - Badger, Julia M.
AU  - Rozier, Kristin Yvonne.
VL  - 11460
CN  - QA76.9.F67
N1  - Includes author index.
ID  - 891514
KW  - Formal methods (Computer science)
SN  - 9783030206529
SN  - 3030206521
TI  - NASA Formal Methods :11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-20652-9
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-20652-9
ER  -