Accession Number : ADA330004

Title :   SDVS 13 Users' Manual,

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

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

PDF Url : ADA330004

Report Date : 30 SEP 1994

Pagination or Media Count : 364

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.

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

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE