Report on the formal specification and partial verification of the VIPER microprocessor
By: Bishop Brock and Warren A. Hunt, Jr.
Contributors: Hunt, Warren A.; Langley Research Center.
Series: NASA contractor report -- 187540.; NASA contractor report -- NASA CR-187540.
Publisher: National Aeronautics and Space Administration, Langley Research Center; Computational Logic, Inc.
Published: 1991
Place of publication: Hampton, Va; Austin, Texas
Language: eng
Format: Microform
Subjects: Computer techniques.; Consistency.; Design analysis.; Hardware.; Microprocessors.; Proving.; Specifications.
Notes: "Purchase order L-39627C."

"July 1991."

"Technical report 46."

Includes bibliographical references.

Also available via Internet from the NTRS web site. Address as of 3/15/06: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19910018472%5F1991018472.pdf; current access is available via PURL.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration,] 1991. 1 microfiche.