NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
(Sprache: Englisch)
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...
The 20 full and 8 short papers presented in this volume were carefully reviewed and selected...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 79.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „NASA Formal Methods “
Klappentext zu „NASA Formal Methods “
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.
Inhaltsverzeichnis zu „NASA Formal Methods “
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, and 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.Bibliographische Angaben
- 2019, 1st ed. 2019, XXI, 392 Seiten, 58 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Julia M. Badger, Kristin Yvonne Rozier
- Verlag: Springer, Berlin
- ISBN-10: 3030206513
- ISBN-13: 9783030206512
Sprache:
Englisch
Kommentar zu "NASA Formal Methods"
0 Gebrauchte Artikel zu „NASA Formal Methods“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "NASA Formal Methods".
Kommentar verfassen