NASA Formal Methods

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings

Nathaniel Benz, Divya Gopinath, Nija Shi (Herausgeber)

Buch | Softcover

XXIII, 438 Seiten

2024 | 2024
Springer International Publishing (Verlag)
978-3-031-60697-7 (ISBN)

Artikel merken

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.

The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

Erscheinungsdatum	28.05.2024
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXIII, 438 p. 89 illus., 61 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Abstract Interpretation • Cyber-Physical Systems • formal methods • Formal methods for autonomous vehicles • Formal methods for control systems • Formal methods for machine learning • Formal methods for robotics • formal specification • Model Checking • program analysis • Program Synthesis • reactive synthesis • runtime assurance • SAT solvers • SMT solvers • Static Analysis • Testing
ISBN-10	3-031-60697-3 / 3031606973
ISBN-13	978-3-031-60697-7 / 9783031606977
Zustand	Neuware