Guidelines for Formal Verification Systems
| Author | : |
| Publisher | : |
| Total Pages | : 48 |
| Release | : 1989 |
| ISBN-10 | : UIUC:30112105107285 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Guidelines for Formal Verification Systems by :
Download or read book Guidelines for Formal Verification Systems written by and published by . This book was released on 1989 with total page 48 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This document explains the requirements for formal verification systems that are candidates for the NCSC's Endorsed Tools List (ETL). This document is primarily intended for developers of verification systems to use in the development of production-quality formal verification systems. It explains the requirements and the process used to evaluate formal verification systems submitted to the NCSC for endorsement."--DTIC.
