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 developped in support of the following NASA strategic initiatives:
- Sustainable air transportation system vehicle and airspace technologies
- Concepts and technologies to enable 100X capacity using trajectory-based operations (TBO)
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?
What is Formal Methods?
Research Project Areas
Papers, Presentations, and Downloads
Past Research Projects
identifies links that are outside
the NASA domain