Research Catalog

Interpreter composition issues in the formal verification of a processor-memory module

Title
Interpreter composition issues in the formal verification of a processor-memory module [microform] / David A. Fura and Gerald C. Cohen.
Author
Fura, David A.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]

Details

Additional Authors
  • Cohen, G. C. (Gerald C.)
  • Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 4594
Uniform Title
NASA contractor report ; NASA CR-4594.
Subject
  • Circuit reliability
  • Embedded computer systems
  • Fault tolerance
  • Memory (Computers)
  • Microprocessors
  • Theorem proving
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 94-0855-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:4594
OCLC
marcive32374719
Author
Fura, David A.
Title
Interpreter composition issues in the formal verification of a processor-memory module [microform] / David A. Fura and Gerald C. Cohen.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Series
NASA contractor report ; 4594
NASA contractor report ; NASA CR-4594.
Reproduction
Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration, 1994] 1 microfiche.
Added Author
Cohen, G. C. (Gerald C.)
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:4594
Research Call Number
READEX Microfiche NAS 1.26:4594
View in Legacy Catalog