Accession Number:

ADA329901

Title:

SDVS 1994 Final Report

Descriptive Note:

Final rept.

Corporate Author:

AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s):

Report Date:

1994-09-30

Pagination or Media Count:

31.0

Abstract:

The purpose of the State Delta Verification System SDVS project is to address some of the inadequacies of the currently popular certification and analysis methods e.g. testing, simulation, and design walkthroughs for assuring the correctness of computer systems. This ongoing effort has primarily focused on developing a theoretical framework and software tools for the formal verification of computer systems. SDVS is an automated system to help write and check proofs of the correctness of computer systems with respect to formal specifications.

Subject Categories:

  • Computer Systems
  • Military Forces and Organizations

Distribution Statement:

APPROVED FOR PUBLIC RELEASE