Crowd Sourced Formal Verification (CSFV)*
Abstract
*Formerly Crowd-Sourced Cyber in PE0601101E, Project CYS-01. The Crowd-Sourced Formal Verification (CSFV) program will develop technologies and tools to enable private citizens to participate in securing cyberspace. Private citizens already collaborate on cyber-defense through participative media dedicated to issues such as diagnosing problems on networks and remediating the effects of malware on commercial systems. CSFV will create technologies that enable crowd-sourced approaches to securing software systems through formal verification. Formal software verification is a rigorous method for proving that software has specified properties, but formal verification does not currently scale to the size of software found in modern weapon systems. CSFV will enable non-specialists to participate productively in the formal verification process by transforming formal verification problems into games that are intuitively understandable.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2013
- Source ID
- a66f9a8eed28837dcc27247d0577f674