1.

Technical Paper
Technical Paper
1. Development and Analysis of the Software Implemented Fault-Tolerance (SIFT) Cpmputer
Goldberg, J. ; Kautz, W. H. ; Melliar-Smith, P. M. ; Green, M. W. ; Levitt, K. N. ; Schwartz, R. L. ; Weinstock, C. B.
Pub. info.: NASA Technical Reports.  (NASA-CR-172146),  pp.1-209,  1984.  National Aeronautics and Space Administration
2.

Technical Paper
Technical Paper
2. STP: A Mechanized Logic for Specification and Verpfication
Shostak, R. E. ; Schwartz, Richard ; Melliar-Smith, P. M.
Pub. info.: NASA Technical Reports.  (NASA-CR-166008),  pp.1-24,  1983.  National Aeronautics and Space Administration
3.

Technical Paper
Technical Paper
3. Specifying and Verifying Ultra-Reliability and Fault-Tolerance Properties
Schwatz, Richard L. ; Melliar-Smith, P. M.
Pub. info.: NASA Technical Reports.  (NASA-CR-166008),  pp.1-19,  1983.  National Aeronautics and Space Administration