NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Badger, Julia M. (Editor), Rozier, Kristin Yvonne (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Series: Lecture Notes in Computer Science, 8430
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Logics and Meanings of Programs.; Software Engineering/Programming and Operating Systems.; Programming Techniques.

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The to...

Table of Contents:

• Model checking
• Theorem proving
• Static analysis
• Model-based development
• Runtime monitoring
• Formal approaches to fault tolerance
• Applications of formal methods to aerospace systems
• Formal analysis of cyber-physical systems, including hybrid and embedded systems
• Formal methods in systems engineering
• Modeling
• Requirements and specifications
• Requirements generation
• Specification debugging
• Formal validation of specifications
• Use of formal methods in safety cases
• Use of formal methods in human-machine interaction analysis
• Formal methods for parallel hardware implementations
• Use of formal methods in automated software engineering and testing
• Correct-by-design
• Design for verification, and property based design techniques
• Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods
• Compositional techniques
• Parallel and distributed techniques.- Application of formal methods to emerging technologies.