Journal of Automated Reasoning

, Volume 60, Issue 1, pp 1–2 | Cite as

Selected Extended Papers of NFM 2016: Preface

  • César A. MuñozEmail author
  • Sanjai Rayadurgam
  • Oksana Tkachuk

This special issue contains extended versions of selected papers from the 8th NASA Formal Methods Symposium (NFM 2016). The symposium was co-organized by NASA Ames Research Center and the University of Minnesota Software Engineering Center (UMSEC) and it was held in Minneapolis, MN, USA, on June 7–9, 2016.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The NASA Formal Methods Symposium is a forum for theoreticians and...

Copyright information

© Springer Science+Business Media B.V. (outside the USA)  2017

Authors and Affiliations

  • César A. Muñoz
    • 1
    Email author
  • Sanjai Rayadurgam
    • 2
  • Oksana Tkachuk
    • 3
  1. 1.NASA Langley Research CenterHamptonUSA
  2. 2.Computer Science and EngineeringUniversity of MinnesotaMinneapolisUSA
  3. 3.Amazon Web Services, SJC1CupertinoUSA

Personalised recommendations