NASA Formal Methods: 6th International Symposium, Nfm 2014, Houston, Tx, Usa, April 29 - May 1, 2014. Proceedings

By Julia M. Badger

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.

• Format: Paperback
• Language: English
• ISBN: 3319061992
• ISBN13: 9783319061993
• Release Date: April 2014
• Publisher: Springer
• Length: 360 Pages
• Weight: 1.19 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"