Research Catalog

Formal methods for verification and validation of partial specifications

Title
Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan.
Author
Easterbrook, Steve.
Publication
[Fairmont, W. Va.] : West Virginia University ; [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]

Details

Additional Authors
  • Callahan, John.
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
Technical report series ; NASA/IVV-97-010
Uniform Title
NASA contractor report ; NASA CR-207040.
Subject
  • Program verification (Computers)
  • Specifications
  • Software development tools
  • Fault detection
  • Computer programs
  • Safety
Note
  • Shipping list no.: 99-0323-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:207040
OCLC
marcive41430784
Author
Easterbrook, Steve.
Title
Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan.
Imprint
[Fairmont, W. Va.] : West Virginia University ; [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
Series
Technical report series ; NASA/IVV-97-010
NASA contractor report ; NASA CR-207040.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1998] 1 microfiche. (NASA/CR ; 97-207040).
Added Author
Callahan, John.
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:207040
Research Call Number
READEX Microfiche NAS 1.26:207040
View in Legacy Catalog