Accession Number : ADA329986

Title :   SDVS 12 Users' Manual.

Corporate Author : AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s) : Marcus, L. G.

PDF Url : ADA329986

Report Date : 30 SEP 1993

Pagination or Media Count : 361

Abstract : This is a guide for users of the State Delta Verification System (SDVS), Version 12. 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.

Descriptors :   *COMPUTER PROGRAM VERIFICATION, PROGRAMMING MANUALS, COMPUTATIONS, VERIFICATION, INTERACTIONS, INTERFACES, COMPUTER LOGIC, BIBLIOGRAPHIES, USER NEEDS, ADA PROGRAMMING LANGUAGE.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE