Program Philosophy

• Why is Formal Methods Necessary?
• Some Formal Methods Humor

Goals and Strategy of Our Program

• The major goals of our research program are
  • to advance the state-of-the-art in formal methods, making it practical for use on life-critical systems developed by the aerospace industry in the United States
  • to orchestrate the transfer of this technology to industry through use of carefully designed demonstration projects
• Our basic strategy is to apply formal methods to the technically challenging areas of digital flight-control systems design that are currently beyond the state-of-the-art and to initiate demonstration projects on problem domains in which current formal methods are adequate.

The tag identifies links that are outside the NASA domain