Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12673)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: NFM 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 papers)
Other volumes
-
NASA Formal Methods
Keywords
- architecture verification and validation
- artificial intelligence
- computer programming
- embedded systems
- formal logic
- formal methods
- formal verifications
- model checking
- programming languages
- robotics
- signal processing
- software architecture
- software design
- software engineering
- software quality
- verification and validation
About this book
The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
Editors and Affiliations
Bibliographic Information
Book Title: NASA Formal Methods
Book Subtitle: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Editors: Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-76384-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-76383-1Published: 17 May 2021
eBook ISBN: 978-3-030-76384-8Published: 19 May 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 402
Number of Illustrations: 53 b/w illustrations, 80 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Computer Systems Organization and Communication Networks, Artificial Intelligence, Simulation and Modeling