Using Penelope to assess the correctness of NASA Ada software
Subtitle: a demonstration of formal methods as a counterpart to testing
By: Carl T. Eichenlaub, C. Douglas Harper, and Geoffrey Hird.
Contributors: Harper, C. Douglas.; Hird, Geoffrey.; National Aeronautics and Space Administration.
Series: NASA contractor report -- NASA CR-4509.
Publisher: NASA
Published: 1993
Place of publication: Washington
Language: eng
Number of pages: 150
Subjects: Computer software -- Quality assurance.; Statistics -- Computer programs -- Quality assurance.
Notes: Bibliography : p. 149-150.