NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Generic Interpreters and Microprocessor VerificationThe following topics are covered in viewgraph form: (1) generic interpreters; (2) Viper microprocessors; (3) microprocessor verification; (4) determining correctness; (5) hierarchical decomposition; (6) interpreter theory; (7) AVM-1; (8) phase-level specification; and future work.
Document ID
19910008259
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Phillip J Windley (University of Idaho Moscow, United States)
Date Acquired
September 6, 2013
Publication Date
November 1, 1990
Publication Information
Publication: NASA Formal Methods Workshop, 1990
Publisher: National Aeronautics and Space Administration
Subject Category
Computer Operations and Hardware
Report/Patent Number
NASA-CP-10052
Meeting Information
Meeting: NASA Formal Methods Workshop
Location: Hampton, VA
Country: US
Start Date: August 20, 1990
End Date: August 23, 1990
Sponsors: National Aeronautics and Space Administration
Accession Number
91N17572
Funding Number(s)
CONTRACT_GRANT: NAS1-18586
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
Single Expert

Related Records

IDRelationTitle19910008246Collected WorksNASA Formal Methods Workshop, 1990
No Preview Available