SDVS 12 Users' Manual.
Leo Marcus · 1993
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.