Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13260)
Included in the following conference series:
Conference proceedings info: NFM 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022.
The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers.
The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
Similar content being viewed by others
Keywords
- architecture verification and validation
- computer programming
- domain specific languages
- embedded systems
- equivalence checking
- fault tolerance
- formal logic
- functional verification
- linguistics
- model checking
- model-checking
- reliability
- signal processing
- software architecture
- software design
- software engineering
- validation
- verification and validation
Table of contents (46 papers)
-
Invited Keynotes
-
Regular Submissions
Other volumes
-
NASA Formal Methods
Editors and Affiliations
Bibliographic Information
Book Title: NASA Formal Methods
Book Subtitle: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
Editors: Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-06773-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-06772-3Published: 20 May 2022
eBook ISBN: 978-3-031-06773-0Published: 19 May 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXII, 828
Number of Illustrations: 51 b/w illustrations, 168 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems