Guidelines for Formal Verification Systems

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1989
Accession Number
ADA392819

Entities

People

  • Barbara A. Mayer
  • Monica M. Lu

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Programs
  • Computers
  • Configuration Management
  • Cybersecurity
  • Debugging
  • Department Of Defense
  • Language
  • Object Code
  • Security
  • Software Development
  • Software Prototyping
  • Standards
  • Test And Evaluation
  • User Friendly
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Clinical Trial Research.
  • Database Systems and Applications
  • Systems Analysis and Design