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