Guidelines for formal verification systems.
| Other author | National Computer Security Center (U.S.) |
| Format | Book |
| Publication Info | [Fort George G. Meade, MD] : National Computer Security Center ; [Washington, D.C.] : [For sale by the Supt. of Docs., U.S. G.P.O.], [1989] |
| Description | iv, 35 pages ; 28 cm. |
| Subjects |
| Series | NCSC-TG ; 014, version-1 NCSC-TG 014. ^A367628 |
| Abstract | "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. |
| General note | Cover title. |
| General note | Shipping list no.: 89-660-P. |
| General note | "1 April 1989." |
| Bibliography note | Includes bibliographical references (p. 35). |
| Report note | Final. |
| Other forms | Also issued online. |
| Issued in other form | Online version: Guidelines for formal verification systems. [Fort George G. Meade, MD] : National Computer Security Center ; [Washington, D.C. : For sale by the Supt. of Docs., U.S. G.P.O., 1989] |
| GPO item number | 306-A-19 |
| Govt. docs number | D 1.79/4:014/ver.1 |
| Stock number | 008-000-00540-1 GPO |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | Fed Docs Stacks | D 1.79/4:014/VER.1 | ✔ Available | Place Hold |