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) |
Book Synopsis Guidelines for Formal Verification Systems by :
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.
