Architecture for Verifiable Software
- Created on 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.