Formal methods and their role in digital systems validation for airborne systems
By: John Rushby.
Contributors: SRI International.; Langley Research Center.
Series: NASA contractor report -- NASA CR-4673.
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: 58
Subjects: Computer software -- Validation; Computer software -- Verification
Notes: "August 1995."

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

Includes bibliographical references (p. 51-55).

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