Maximum PC offers an interesting report on a new program from the Defense Advanced Research Projects Agency (DARPA) that uses video games. The government agency’s Crowd Sourced Formal Verification (CSFV) program hopes to crowdsource formal verification (testing that aims to ensure that software is bug-free and isn’t vulnerable to attack or misuse) with "purpose-built games" called Verigames.
All of the games on Verigames generate mathematical proofs used during the formal verification process. To gamers, all of the titles should seem like ordinary online games, but under the hood automated processes will generate new puzzles that correlate to the math problems the CSFV wants to be scrutinized.
"We’re seeing if we can take really hard math problems and map them onto interesting, attractive puzzle games that online players will solve for fun," said Drew Dean, DARPA program manager. "By leveraging players’ intelligence and ingenuity on a broad scale, we hope to reduce security analysts’ workloads and fundamentally improve the availability of formal verification."
DARPA is doing all of this because formal verification is a time intensive process that requires specially trained engineers who review code for potential flaws.
The only caveat is that you have to be over the age of 18 in order to play the games... You can learn more here.
Source: Maximum PC