6b5f1524_DARPA___Open_Catalog__Description
[DARPA Program] CSFV [Office] I2O [Description] 
Crowd Sourced Formal Verification (CSFV) is a DARPA program that aims to investigate whether large numbers of non-experts can perform formal verification faster and more cost-effectively than conventional processes. The goal is to transform verification into a more accessible task by creating fun, intuitive games that reflect formal verification problems. Playing the games would effectively help software verification tools complete corresponding formal verification proofs.
DARPA - Open Catalog
Description