Architecture for Verifiable Software
- Created: Thursday, 01 December 2005
This work was done by William Reinholtz and Daniel Dvorak of Caltech for NASA’s Jet Propulsion Laboratory. For further information, access the Technical Support Package (TSP) free on-line at www.techbriefs.com/tsp under the Software category.
This software is available for commercial licensing. Please contact Karina Edmonds of the California Institute of Technology at (818) 393- 2827. Refer to NPO-40842.
This Brief includes a Technical Support Package (TSP).
Architecture for Verifiable Software (reference NPO-40842) is currently available for download from the TSP library.
Please Login at the top of the page to download.