NASA logo

+ Contact NASA

  • + HOME
  • + TEAM
  • + LINKS

  • NASA Langley Formal Methods Research Program

    The NASA Langley's Formal Methods Research Program of the NASA Langley Safety-Critical Avionics Systems Branch develops formal methods technology for the development of mission-critical and safety-critical digital systems of interest to NASA. These types of systems are being developed in support of the following NASA strategic initiatives:

    If you are not familiar with formal methods, you might want to start your exploration by visiting our pages that try to answer the questions, Why is Formal Methods Necessary? and What is Formal Methods?

    Research Project Areas

    Papers, Presentations, and Downloads

    Past Research Projects

    The tag [*] identifies links that are outside the NASA domain