Search records | 東京工業大学附属図書館文献データベース

You can search for articles included in proceedings of international conferences and technical papers which Tokyo Tech Library holds.
Tokyo Tech members can obtain tables of contents of 17,000 foreign journals by SwetScan. Tokyo Tech Library does not cover all of them.
List of Searchable Databases

Clear Form

Search for other sites by same keyword(s).

CiNii Books

NDL Search

WebcatPlus

amazon

カーリル

WorldCat

Filter

Title:

Author:

ISBN / ISSN / Paper No:

Source Title:

Publisher:

Publication Year:

～

Clear Form

Type:

Conference Proceedings

Technical Paper

Academic Journal

Select: Check all | Remove all

Sort order

10 results

Technical Paper

1. A Summary of HDM

Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton ; Elliott, W. David

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-25, 1983. National Aeronautics and Space Administration

Technical Paper

2. The SIFT Code Specifications

Levitt, Karl N. ; Schwartz, Richard ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton ; Elliott, W. David

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-30, 1983. National Aeronautics and Space Administration

Technical Paper

3. The PASCAL-HDM Verification System

Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Boyer, Robert ; Green, Robert ; Elliott, W. David ; Shostak, Robert E.

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-11, 1983. National Aeronautics and Space Administration

Technical Paper

4. 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, Robert ; Green, Milton ; Elliott, W. David

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-12, 1983. National Aeronautics and Space Administration

Technical Paper

5. The Proof of the SIFT Implementation

Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-11, 1983. National Aeronautics and Space Administration

Technical Paper

6. A Formal Semantics for the SRI Hierarchical Program Design Methodology

Boyer, Robert S. ; Moore, J. S.

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-22, 1983. National Aeronautics and Space Administration

Technical Paper

7. 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, Robert ; Green, Milton ; Elliott, W. David

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-27, 1983. National Aeronautics and Space Administration

Technical Paper

8. On Why It Is Impossible to Prove That the BDX90 Dispatcher Implements a Time-Sharing System

Boyer, Robert S. ; Moore, J. S.

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-5, 1983. National Aeronautics and Space Administration

Technical Paper

9. Overview of Code Verification

Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Boyer, Robert ; Green, Milton ; Elliott, W. David ; Levitt, Karl N. ; Shostak, Robert E.

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-3, 1983. National Aeronautics and Space Administration

10.

Technical Paper

10. Overview of Correctness Proofs

Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton ; Elliott, W. David

Pub. info.:

NASA Technical Reports. (NASA-CR-166008), pp.1-11, 1983. National Aeronautics and Space Administration

Select: Check all | Remove all

Sort order

10 results

Filtering by: