Overview of Code Verification | 東京工業大学附属図書館文献データベース

Blank Cover Image

Overview of Code Verification

Author(s):

Schwartz, Richard ( SRI International )

Hare, Dwight ( SRI International )

Moore, J. S. ( SRI International )

Melliar-Smith, P. Michael ( SRI International )

Boyer, Robert ( SRI International )

Green, Milton ( SRI International )

Elliott, W. David ( SRI International )

Levitt, Karl N. ( SRI International )

Shostak, Robert E. ( SRI International )

Publication title:

NASA Technical Reports

Pub. Year:

1983

Issue:

NASA-CR-166008

No.:

G3/60 19288

Pt.:

NAS 1.26:166008

Paper no.:

N84-25311

Page(from):

1

Page(to):

3

Pages:

3

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 The Proof of the SIFT Implementation Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Shostak, Robert E., Boyer, … National Aeronautics and Space Administration
2 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	8 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
3 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	9 Technical Paper hierarchical Design and Verification for VLSI Shostak, Robert E., Elliott, W. David, Levitt, Karl N. 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 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
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 The Use of a Formal Simulator to Verify a Simple Real Time Control Program Boyer, Robert S., Green, Milton W., Moore, J Strother National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12