Report on the formal specification and partial verification of the VIPER microprocessor /

Bibliographic Details
Main Author:	Brock, Bishop
Corporate Author:	Langley Research Center
Other Authors:	Hunt, Warren A.
Format:	Government Document Book
Language:	English
Published:	Hampton, Va. : Austin, Texas : National Aeronautics and Space Administration, Langley Research Center ; Computational Logic, Inc., [1991]
Series:	NASA contractor report ; NASA CR-187540.
Subjects:	Computer techniques. Consistency. Design analysis. Hardware. Microprocessors. Proving. Specifications.
Online Access:	https://purl.fdlp.gov/GPO/LPS67756

Description
Item Description:	"July 1991." "Technical report 46." "Purchase order L-39627C." Microform.
Physical Description:	1 volume 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.
Bibliography:	Includes bibliographical references.