NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 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.

Summary

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 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.

Product details

• Assisted by: Aaron Dutle (Editor), César Muñoz (Editor), Anthony Narkawicz (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 11.03.2018
• EAN: 9783319779348
• ISBN: 978-3-31-977934-8
• No. of pages: 470
• Dimensions: 157 mm x 236 mm x 29 mm
• Weight: 727 g
• Illustrations: XI, 470 p. 156 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Künstliche Intelligenz, Software Engineering, Artificial Intelligence, Computermodellierung und -simulation, Theoretische Informatik, Systemanalyse und -design, Compiler und Übersetzer, computer science, Theory of Computation, Programming Languages, Compilers, Interpreters, Systems analysis & design, Computers, Mathematical theory of computation, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer system failures, System Performance and Evaluation, Computer Modelling, Compilers and Interpreters