The Formal Method's team work is currently funded by several NASA programs, See (sponsors) for more details.

Research Project Areas (Indexed by Program)

• Air Traffic Management
• Avionics Software Verification and Validation
• Fault Tolerance (e.g. SPIDER)
• PVS Theorem Prover Related Research
• Spacecraft Autonomy and AI Planning
• Certification Oriented Software Research
• Accident Analysis

• Publications
• LFM 2008: Sixth NASA LaRC Formal Methods Workshop
• Internal Formal Methods Workshop 2003
• Workshop on the Investigation and Reporting of Incidents and Accidents (IRIA 2003)
• Lfm2000: Fifth NASA LaRC Formal Methods Workshop
• Lfm97: Fourth NASA LaRC Formal Methods Workshop
• Third NASA LaRC Formal Methods Workshop
• PVS Libraries
• Formal Methods Humor