SDVS 13 Users' Manual,

Abstract

This is a guide for users of the State Delta Verification System (SDVS), Version 13. Its style is somewhere between that of a tutorial and a reference manual. All facets of the verification system are covered here: the underlying logic (state deltas), the proof language, the user interface, the actual use of the system, the translation from the register-transfer-level language ISPS to state deltas, the translation from Ada to state deltas, the translation from VHDL to state deltas, the capabilities of the static solvers, and example proofs. A set of exercises is provided in the last chapter and a comprehensive SDVS bibliography is included.

Open PDF

Document Details

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

Entities

People

  • L. G. Marcus

Organizations

  • The Aerospace Corporation

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Application Software
  • Computations
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Cybersecurity
  • Engineering
  • Language
  • Lisp Programming Language
  • Operating Systems
  • Programming Languages
  • Simulations
  • Simulators

Readers

  • Database Systems and Applications
  • Library and Information Science
  • Library and Information Science/ Studies, Southeast Asia Studies, Bibliography of Vietnam and Lao Studies.