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) : Marcus,Leo G.

Report Date : 01 JUL 1987

Pagination or Media Count : 101

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.

Descriptors :   *COMPUTER PROGRAM VERIFICATION, *USER MANUALS, ERROR CORRECTION CODES, USER NEEDS, INTERACTIONS, PROGRAMMING LANGUAGES, MAN COMPUTER INTERFACE, SPECIFICATIONS, VALIDATION

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE