Crowd Sourced Formal Verification (CSFV)
Abstract
The Crowd-Sourced Formal Verification (CSFV) program created 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 enabled 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, 2017
- Source ID
- 5bbed9e41acf2555fdecf117b49056c3