The US Department of Defense is evaluating the use of video games for finding software vulnerabilities with the collaboration of a network of volunteers. DARPA has launched the Crowd Sourced Formal Verification (CSFV) program, it creates a set of games that search for software vulnerabilities involving volunteer gamers. The idea is revolutionary, the support offered to DoD analyst could be theoretically unlimited according to John Murray, a program director in SRI Internationals computer science laboratory. Xylem is the demonstration that is possible to exploit game players actions to find software vulnerabilities.”]
Source: http://securityaffairs.co/wordpress/20440/security/darpa-crowd-sourced-formal-verification.html