DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA551949
Title:
PROCEED and Crowd-sourced Formal Verification
Descriptive Note:
Briefing charts
Corporate Author:
DEFENSE ADVANCED RESEARCH PROJECTS AGENCY ARLINGTON VA INFORMATION INNOVATION OFFICE
Report Date:
2011-11-07
Pagination or Media Count:
10.0
Abstract:
Distribution Statement:
APPROVED FOR PUBLIC RELEASE