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

Personal Author(s):

• Dean, Drew

Report Date:

2011-11-07

Pagination or Media Count:

10.0

Abstract:

Descriptors:

• *COMPUTER NETWORK SECURITY
• CLOUD COMPUTING
• COMPUTER PROGRAM VERIFICATION

Subject Categories:

• Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE