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