NASA Formal Methods

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

  • Clark Barrett
  • Misty Davies
  • Temesghen Kahsai
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10227)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
    Pages 1-18
  3. Bernhard K. Aichernig, Martin Tappler
    Pages 19-34
  4. Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
    Pages 35-51
  5. James Ortiz, Moussa Amrani, Pierre-Yves Schobbens
    Pages 52-67
  6. Claire Dross, Yannick Moy
    Pages 68-83
  7. Colin Snook, Thai Son Hoang, Michael Butler
    Pages 84-98
  8. Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
    Pages 99-114
  9. Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
    Pages 115-130
  10. Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Păsăreanu
    Pages 131-138
  11. Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
    Pages 139-145
  12. Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen
    Pages 146-162
  13. Benjamin F. Jones, Lee Pike
    Pages 163-177
  14. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem
    Pages 178-193
  15. Hugo Illous, Matthieu Lemerre, Xavier Rival
    Pages 212-229
  16. Saeed Darabi, Stefan C. C. Blom, Marieke Huisman
    Pages 247-264
  17. Yulia Demyanova, Philipp Rümmer, Florian Zuleger
    Pages 265-281
  18. Brandon Shapiro, Chris Casinghino
    Pages 282-287

About these proceedings

Introduction

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.

Keywords

automata theory logic and verification model checking abstract interpretation application of formal methods quantitative analysis static analysis proofs and certificate formal requirements formal verification formal specification formal methods timed automata natural language machine learning separation logic algorithms static analysis

Editors and affiliations

  1. 1.Stanford UniversityPalo AltoUSA
  2. 2.NASA Ames Research CenterMoffett FieldUSA
  3. 3.NASA Ames Research CenterMoffett FieldUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-57288-8
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-57287-1
  • Online ISBN 978-3-319-57288-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349