Formal verification of an avionics microprocessor
By: Mandayam K. Srivas, Steven P. Miller.
Contributors: Miller, Stephen P.; SRI International.; Langley Research Center.
Series: NASA contractor report -- NASA CR-4682.
Publisher: National Aeronautics and Space Administration, Langley Research Center; Available from the National Technical Information Service
Published: 1995
Place of publication: Hampton, Va; Springfield, VA
Language: eng
Number of pages: 100
Subjects: Microprocessors -- Testing; Avionics -- Testing; Computer software -- Verification
Notes: "July 1995."

"Performing organization report number ECU 8200-270"--Report documentation page.

Includes bibliographical references (p. 96-100).

Performed by SRI International for the National Aeronautics and Space Administration, Langley Research Center NAS 1-18969.