NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

  • Aaron Dutle
  • César Muñoz
  • Anthony Narkawicz
Conference proceedings NFM 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10811)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur, Atif Mashkoor
    Pages 1-19
  3. Siddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco Carvalho, Milton Stafford
    Pages 20-36
  4. Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
    Pages 37-53
  5. Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
    Pages 54-69
  6. Charles Zhuo Chen, Werner Dietl
    Pages 87-94
  7. Flavio M. De Paula, Arvind Haran, Brad Bingham
    Pages 95-112
  8. Bruno Dutertre, Dejan Jovanović, Jorge A. Navas
    Pages 113-120
  9. Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
    Pages 121-138
  10. Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
    Pages 139-156
  11. Ansgar Fehnker, Kaylash Chaudhary
    Pages 157-163
  12. Marco A. Feliú, Mariano M. Moscato
    Pages 179-184
  13. Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
    Pages 185-202
  14. Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
    Pages 203-219
  15. Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
    Pages 220-236
  16. Andrew Ireland, Maria Teresa Llano, Simon Colton
    Pages 237-243
  17. Philipp Körner, Jens Bendisposto
    Pages 244-260
  18. Alfons Laarman
    Pages 261-279
  19. Alfons Laarman
    Pages 280-298
  20. Hendrik Maarand, Tarmo Uustalu
    Pages 299-314
  21. Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi
    Pages 315-332
  22. Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
    Pages 333-348
  23. Jeroen Meijer, Jaco van de Pol
    Pages 349-366
  24. Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy
    Pages 367-382
  25. Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
    Pages 383-398
  26. César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels
    Pages 399-415
  27. Rui Qiu, Sarfraz Khurshid, Corina S. Păsăreanu, Junye Wen, Guowei Yang
    Pages 416-434
  28. Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
    Pages 452-459
  29. András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh et al.
    Pages 460-467
  30. Back Matter
    Pages 469-470

About these proceedings


This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 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.


artificial intelligence automated theorem proving code generation computer software selection and evaluation distributed computer systems fault tolerance formal methods formal verification model checking problem solving programming languages real time systems run-time verification semantics software engineering specifications temporal logic verification

Editors and affiliations

  • Aaron Dutle
    • 1
  • César Muñoz
    • 2
  • Anthony Narkawicz
    • 3
  1. 1.NASA Langley Research CenterHamptonUSA
  2. 2.NASA Langley Research CenterHamptonUSA
  3. 3.NASA Langley Research CenterHamptonUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-77934-8
  • Online ISBN 978-3-319-77935-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site