In an effort to speed up the “formal verification”—the process of checking whether a design or model adheres to a certain set of requirements—the Defense Advanced Research Projects Agency (DARPA) wants you to play online games. DARPA’s Crowd Sourced Formal Verification (CSFV) project, as per their website, “seeks to replace the intensive work done by […]