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

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
  • Print ISBN 978-3-319-77934-8
  • Online ISBN 978-3-319-77935-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment