NASA Formal Methods

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

  • Clark Barrett
  • Misty Davies
  • Temesghen Kahsai
Conference proceedings NFM 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10227)

Also part of the Programming and Software Engineering book sub series (LNPSE, 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
  19. Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
    Pages 288-294
  20. Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor
    Pages 295-301
  21. Constantin Enea, Ondřej Lengál, Mihaela Sighireanu, Tomáš Vojnar
    Pages 302-309
  22. Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
    Pages 357-372
  23. Kim Völlinger, Samira Akili
    Pages 373-388
  24. Marie-Christine Jakobs, Heike Wehrheim
    Pages 389-403
  25. Lucas Wagner, Alain Mebsout, Cesare Tinelli, Darren Cofer, Konrad Slind
    Pages 404-419
  26. Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
    Pages 420-426
  27. Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin
    Pages 427-434
  28. Back Matter
    Pages 435-436

About these 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 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.


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