Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
By: P. Windley, K. Levitt, G.C. Cohen.
Contributors: Levitt, Karl N.; Cohen, Gerald C.; Langley Research Center.
Series: NASA contractor report -- 187491.; NASA contractor report -- NASA CR-187491.
Publisher: University of California; National Aeronautics and Space Administration, Langley Research Center
Published: 1991
Place of publication: Davis, Calif; Hampton, Va
Language: eng
Format: Microform
Subjects: Microprocessors.; Interpreters (Computer programs); Computer programs -- Validation.
Notes: Distributed to depository libraries in microfiche.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991] 3 microfiches.