The U.S. Department of Defense is inviting avid gamers to scan through an astronomical amount of software codes for vulnerabilities. The Verigames site offers five free games, and is set up in a manner similar to crowd-sourcing projects like SEI@homel and Fold.it.
DARPA designed the games to generate program annotations and mathematical proofs while gamers are solving puzzles in order to move on to the next level. The annotations and proofs can identify or prove the absence of flaws in software written in either C or Java. DARPA believes this crowd-sourcing approach can not only speed up the formal software verification process, but also reduce the overall programing costs.
If an error is found, the agency will notify the managers of the software immediately. Governmental grants have been given to companies that have assisted in the software development process. Currently, only gamers over the age of 18 are allowed to participate. But the agency welcomes the idea to build a game playing community that can help solve software errors in the future.
Source: Computer World