NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniqu...

Full description

Saved in:
Bibliographic Details
Main Authors Barrett, Clark, Davies, Misty, Kahsai, Temesghen
Format eBook Book Conference Proceeding
LanguageEnglish
Published Cham Springer Nature 2017
Springer
Springer International Publishing AG
Springer International Publishing
Edition1
SeriesLecture Notes in Computer Science
Subjects
Algorithm Analysis and Problem Complexity
Computer programming, programs, data
Computer Science
Formal methods (Computer science)
Formal methods (Computer science) > Congresses
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online AccessGet full text
ISBN3319572881
9783319572888
9783319572871
3319572873
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-57288-8

Cover

More Information
Summary:This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 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.
Bibliography:Includes bibliographical references and index
ISBN:3319572881
9783319572888
9783319572871
3319572873
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-57288-8