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) : Marcus, L. G.

PDF Url : ADA329901

Report Date : 30 SEP 1994

Pagination or Media Count : 31

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.

Descriptors :   *COMPUTER COMMUNICATIONS, COMPUTER PROGRAMS, SIMULATION, DEPARTMENT OF DEFENSE, VERIFICATION, COMPUTERS, HIGH LEVEL LANGUAGES.

Subject Categories : Computer Systems
      Military Forces and Organizations

Distribution Statement : APPROVED FOR PUBLIC RELEASE