ABSTRACT

Guidelines for Formal Verification Systems   [open pdf - 84KB]

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.

Report Number:
NCSC-TG-014-89
Publisher:
Date:
1989-04-01
Copyright:
Public Domain
Format:
pdf
Media Type:
application/pdf
URL:
Help with citations