Guidelines for Formal Verification Systems
Author | : |
Publisher | : DIANE Publishing |
Total Pages | : 48 |
Release | : 1994-02 |
ISBN-10 | : 0788105523 |
ISBN-13 | : 9780788105524 |
Rating | : 4/5 (23 Downloads) |
Download or read book Guidelines for Formal Verification Systems written by and published by DIANE Publishing. This book was released on 1994-02 with total page 48 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.