NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings Paperback / softback
Edited by Julia M. Badger, Kristin Yvonne Rozier
Part of the Programming and Software Engineering series
Paperback / softback
Description
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 engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:392 pages, 58 Illustrations, color; 314 Illustrations, black and white; XXI, 392 p. 372 illus., 58 i
- Publisher:Springer Nature Switzerland AG
- Publication Date:28/05/2019
- Category:
- ISBN:9783030206512
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:392 pages, 58 Illustrations, color; 314 Illustrations, black and white; XXI, 392 p. 372 illus., 58 i
- Publisher:Springer Nature Switzerland AG
- Publication Date:28/05/2019
- Category:
- ISBN:9783030206512