Guidelines for Formal Verification Systems
Description:
Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-quality formal verification systems. Explains the requirements and the process used to evaluate formal verification systems. Includes: evaluation approach, methodology and system specification, and implementation and other support factors. Glossary and bibliography.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.