SDVS (State Delta Verification System) 5 Users' Manual.
Abstract
This manual is meant for users of the State Delta Verification System (SDVS), version 5. This version of the manual supersedes the previous manual which described SDVS 4.1, although much of the text is common to both. SDVS 5 is implemented on the Symbolics Lisp Machine, and it is assumed that the reader of this manual is acquainted with that machine. No general Symbolics information is included here. The introduction will be sufficient to let the user get started on the system. Other sections go in more detail into various aspects of the theory and operation. The manual covers all facets of the verification system: 1) the internal language (state deltas); 2) the proof language; 3) the user interface; 4) actual system use; 5) the translation from the hardware description language ISPS to state deltas; 6) the capabilities of the static solvers; and 7) example proofs.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1987
- Accession Number
- ADA184339
Entities
People
- Leo G. Marcus
Organizations
- The Aerospace Corporation