Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
By: Jing Pan, K. Levitt, G. C. Cohen.
Contributors: Levitt, Karl N.; Cohen, G. C.; Langley Research Center.
Series: NASA contractor report -- 187547.; NASA contractor report -- NASA CR-187547.
Publisher: National Aeronautics and Space Administration, Langley Research Center
Published: 1991
Place of publication: Hampton, Va
Language: eng
Format: Microform
Subjects: Arithmetic and logic units.; Central processing units.; Floating point arithmetic.; Program verification (Computers)
Notes: "NASA contract NAS1-18586."

"August 1991."

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/19910019463%5F1991019463.pdf; current access is available via PURL.

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