FM Past Program: Verification of Software

Our past research and demonstration projects in the area of formal verification of software include the following:

• TableWise
• Verification of existing Ada applications software
• Formal specification of Space Shuttle Jet Select
• Honeywell navigation specification

---

Curator and Responsible NASA Official: C. Michael Holloway
last modified: 22 February 1996 (15:52:30)