Formal methods and their role in digital systems validation for airborne systems
By: John Rushby
Series: NASA contractor report -- 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
Format: [microform] /
Number of pages: 58
Subjects: Software engineering; Computer software; Validation; 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