Accession Number : ADA291418

Title :   SDVS 1992 .

Descriptive Note : Final rept.,

Corporate Author : AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s) : Levy, B. H.

PDF Url : ADA291418

Report Date : 30 SEP 1992

Pagination or Media Count : 26

Abstract : This report presents an overview of the progress made by The Aerospace Corporation on the State Delta Verification System (SDVS) project for the fiscal year 1992. The work documented in this report was funded by the National Security Agency through Air Force Space and Missile Systems Center contract number H9823O-R292-999O.

Descriptors :   *COMPUTER ARCHITECTURE, *COMPUTER PROGRAM VERIFICATION, COMPUTER PROGRAMS, MATHEMATICAL MODELS, DIGITAL SYSTEMS, ADA PROGRAMMING LANGUAGE.

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE