Accession Number:

ADA184339

Title:

SDVS (State Delta Verification System) 5 Users' Manual.

Descriptive Note:

Technical rept.,

Corporate Author:

AEROSPACE CORP EL SEGUNDO CA LAB OPERATIONS

Personal Author(s):

Report Date:

1987-07-01

Pagination or Media Count:

101.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE