Crowd Sourced Formal Verification (CSFV)
Abstract
The Crowd-Sourced Formal Verification (CSFV) program 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 user-driven simulations that are intuitively understandable.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2014
- Source ID
- 838fa952e848f6c1f6a52c0341b4ad23