Scaling Up Formal Verification

Abstract

Formal Verification of Complex Software

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1110431

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Department Of Defense
  • Governments
  • Guarantees
  • Materials
  • National Governments
  • Universities
  • Verification

Fields of Study

  • Computer science