Analyzing tabular and state-transition requirements specifications in PVS
By: Sam Owre, John Rushby, and Natarajan Shankar.
Contributors: Rushby, John.; Shankar, Natarajan.; Langley Research Center.
Series: NASA contractor report -- 201729.; NASA contractor report -- NASA CR-201729.
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Service, distributor
Published: 1997
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Computer programs.; Software development tools.; Errors.; Cost reduction.; Specifications.
Other titles: Analyzing tabular and state transition requirements specifications in PVS.
Notes: Shipping list no.: 98-0848-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.