The Proof of the SIFT Implementation

The Proof of the SIFT Implementation

Author(s):

Levitt, Karl N. ( SRI International )

Schwartz, Richard ( SRI International )

Hare, Dwight ( SRI International )

Moore, J. S. ( SRI International )

Melliar-Smith, P. Michael ( SRI International )

Shostak, Robert E. ( SRI International )

Boyer, Robert ( SRI International )

Green, Milton ( SRI International )

3 more

Publication title:

NASA Technical Reports

Pub. Year:

1983

Issue:

NASA-CR-166008

No.:

G3/60 19288

Pt.:

NAS 1.26:166008

Paper no.:

N84-25317

Page(from):

1

Page(to):

11

Pages:

11

Pub. info.:

National Aeronautics and Space Administration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00002949

Similar Items:

1 Technical Paper Overview of Correctness Proofs Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration	7 Technical Paper Overview of Code Verification Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Boyer, Robert, Green, Milton, Elliott, W. … National Aeronautics and Space Administration
2 Technical Paper The Hiearchical Specification and Mechanical Verification of the SIFT Design Levitt, Karl N. Schwarz, Richard Hare, Dwight Moore, J. S. Melliar-Smith, P. Michael Shostak, Robert E. … National Aeronautics and Space Administration	8 Technical Paper The PASCAL-HDM Verification System Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Boyer, Robert, Green, Robert, … National Aeronautics and Space Administration
3 Technical Paper The SIFT Code Specifications Levitt, Karl N., Schwartz, Richard, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, Robert, Green, … National Aeronautics and Space Administration	9 Technical Paper Fault Tolerant Architectures for Integrated Aircraft Electronics Systems Task 2 Levitt, Karl N., Melliar-Smith, P. Michael, Schwartz, Richard L. National Aeronautics and Space Administration
4 Technical Paper A Summary of HDM Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration	10 Technical Paper 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. National Aeronautics and Space Administration
5 Technical Paper Investigation, Development, and Evalution of Performance Proving for Fault-Tolerant Computers Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration	11 Technical Paper STP: A Mechanized Logic for Specification and Verpfication Shostak, R. E., Schwartz, Richard, Melliar-Smith, P. M. National Aeronautics and Space Administration
6 Technical Paper Automatic Construction of Verifocation Condition Generators From Hoare Logics Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration	12 Technical Paper hierarchical Design and Verification for VLSI Shostak, Robert E., Elliott, W. David, Levitt, Karl N. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12