Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
NASA Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

NASA Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Badger, Julia M.
Rozier, Kristin Yvonne

Paperback

Programming

ISBN10: 3030206513
ISBN13: 9783030206512
Publisher: Springer
Published: May 28 2019
Pages: 392
Weight: 1.28
Height: 0.85 Width: 6.14 Depth: 9.21
Language: English

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.

Also in

Programming

View All