NFM 2016

June 7-9, 2016, Minneapolis, MN, USA

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. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and the government, with the goals of identifying challenges and providing solutions towards achieving assurance for such critical systems.

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 focus of the symposium will be on formal techniques, their theory, current capabilities and limitations, as well as their application to aerospace, robotics, and other safety-critical systems during all stages of the software life-cycle.

Topics of interest

Symposium topics of interest include but are not limited to the following:

  • Model checking
  • Theorem proving
  • SAT and SMT solving
  • Symbolic execution
  • Static analysis
  • Model-based development
  • Runtime verification
  • Software and system testing
  • Safety assurance
  • Fault tolerance
  • Compositional verification
  • Security and intrusion detection
  • Design for verification and correct-by-design techniques
  • Techniques for scaling formal methods
  • Applications of formal methods in the development of:
    • autonomous systems in aerospace
    • cyber-physical, embedded, and hybrid systems
    • fault-detection, diagnostics, and prognostics systems
  • Use of formal methods in:
    • assurance cases
    • human-machine interaction analysis
    • requirements generation, specification and validation
    • automated testing and verification


More information about registration will be announced when it is available.


NFM 2016 is organized by the University of Minnesota Software Engineering Center (UMSEC). It will be held at the McNamara Alumni Center in Minneapolis, Minnesota.

NFM 2016 is the eighth edition of the NASA Formal Methods Symposium, steered by the NASA Formal Methods Group. The symposium grew out of a workshop series started by the NASA Langley Formal Methods Group, and is now held annually, hosted each year by one of the NASA centers or a university closely collaborating with NASA.