NASA logo

+ Contact NASA



  • + home
  • + history



  • steering committee

    Julia Badger
    NASA Johnson Space Center

    Ben Di Vito
    NASA Langley Research Center

    Klaus Havelund 
    NASA/Jet Propulsion Laboratory

    Michael Lowry (Chair)
    NASA Ames Research Center

    Kristin Rozier
    Iowa State University

    Johann Schumann
    SGT @ NASA Ames Research Center



    Current Event: NFM 2016

    The Eight NASA Formal Methods Symposium (NFM 2016) will be held at the Univeristy of Minnesota, Minneapolis, MN, June 7-9, 2016.

    theme of annual conference

    The NASA Formal Methods Symposium is a series of annual conferences organized by the NASA Formal Methods Research Group. The sympoisum is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. 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.

    topics of interest