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