PROCEED and Crowd-sourced Formal Verification

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 07, 2011
Accession Number
ADA551949

Entities

People

  • Drew Dean

Organizations

  • Defense Advanced Research Projects Agency

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Aircrafts
  • Classification
  • Computations
  • Computer Programming
  • Engineering
  • Ground Control Stations
  • Information Operations
  • Law
  • Nand Gates
  • Secure Communications
  • Security
  • Software Development
  • Systems Engineering
  • Unmanned Vehicles
  • Verification