NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Seiten
2017
|
1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-57287-1 (ISBN)
Springer International Publishing (Verlag)
978-3-319-57287-1 (ISBN)
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.
The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
| Erscheinungsdatum | 10.05.2017 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XI, 436 p. 124 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 682 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Abstract Interpretation • Algorithm analysis and problem complexity • algorithms • algorithms and data structures • application of formal methods • Applications • Automata Theory • Compilers and interpreters • Computer architecture and logic design • Computer programming / software engineering • Computer Science • conference proceedings • formal methods • formal requirements • formal specification • Formal Verification • Informatics • logic and verification • Logics and meanings of programs • machine learning • Mathematical logic and formal languages • Mathematical theory of computation • Model Checking • natural language • Programming and scripting languages: general • Programming languages, compilers, interpreters • Programming Techniques • proofs and certificate • Quantitative Analysis • Research • separation logic • Software engineering • Static Analysis • timed automata |
| ISBN-10 | 3-319-57287-3 / 3319572873 |
| ISBN-13 | 978-3-319-57287-1 / 9783319572871 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Entwurfsmuster für effektive Softwareentwicklung
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 27,95
Praxishandbuch für Java- und Webservice-Entwickler
Buch | Softcover (2025)
dpunkt (Verlag)
CHF 62,85
