Title: Guidelines for Formal Verification Systems 
Authors:National Computer Security Center   
File name:pubdocguidelinesformal_verification_systems.txt.Z 
File size:23453 bytes 

Abstract: This document explains the requirements for
formal verification systems that are candidates for the NCSC's
Endorsed Tools List (ETL). [5] 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.