SDVS 1994 Final Report

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1994
Accession Number
ADA329901

Entities

People

  • L. G. Marcus

Organizations

  • The Aerospace Corporation

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Coding
  • Computer Programming
  • Computer Science
  • Computers
  • Decoding
  • Department Of Defense
  • Engineering
  • High Level Languages
  • Language
  • Lisp Programming Language
  • Models
  • National Security
  • Physics Laboratories
  • Software Development
  • Standards
  • User Interface

Fields of Study

  • Computer science

Readers

  • Clinical Trial Research.
  • Computational Modeling and Simulation
  • Mathematical Modeling and Probability Theory.