Previous Projects
- Amphion: Synthesis of Planetary Software and Animations, and Theory Compilation
- Honeywell's DEOS Operating System
- HSTS Planner Domain Models for Deep Space 1
- Propel: Property Checking for C++
- Remote Agent Executive for Deep Space 1
- The Livingstone Model-Based Diagnosis System
- UML Synthesis
Last modified: Aug. 22, 2008 by Allen Dutra.
- NASA Official: Dave Korsmeyer
- Curator: ASANI Solutions