The Use of a Formal Simulator to Verify a Simple Real Time Control Program

The Use of a Formal Simulator to Verify a Simple Real Time Control Program

Author(s):

Boyer, Robert S. ( SRI International )
Green, Milton W. ( SRI International )
Moore, J Strother ( 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-25322

Page(from):

1

Page(to):

12

Pages:

12

Pub. info.:

National Aeronautics and Space Administration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00002949

Similar Items:

1 Technical Paper A Formal Semantics for the SRI Hierarchical Program Design Methodology Boyer, Robert S., Moore, J. S. National Aeronautics and Space Administration	7 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
2 Technical Paper A Formal Model of Asynchronous Commnication and Its Use in Mechanically Verifying a Biphase Mark Protocol Moore, J.Strother National Aeronautics and Space Adminstration	8 Technical Paper On Why It Is Impossible to Prove That the BDX90 Dispatcher Implements a Time-Sharing System Boyer, Robert S., Moore, J. S. National Aeronautics and Space Administration
3 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	9 Technical Paper Formal Design and Verification of a Reliable Computing Platform For Real-Time Control Butler, Ricky W., Di Vito, Ben L. National Aeronautics and Space Adminstration
4 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	10 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
5 Technical Paper Three Lectures on Theorem-Proving and Program Verification Moore, J Strother National Aeronautics and Space Administration	11 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
6 Technical Paper Development of a Driving Control Algorithm and Performance Verification Using Real-Time Simulator for a 6WD/6WS Vehicle. Kim, W., Lee, J. Society of Automotive Engineers	12 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

1

2

3

4

5

6

7

8

9

10

11

12