Maximum PC: The Defense Advanced Research Projects Agency (DARPA) recognizes the ubiquity of video games. The government agencys Crowd Sourced Formal Verification (CSFV) program is an attempt to crowdsource formal verificationa form of testing that aims to ensure that software is bug-free and isnt vulnerable to attack or misusewith purpose-built games. The DARPA-backed Verigames is a site created explicitly for formal verification games.
via N4G: pc news feed http://n4g.com/news/1406829/darpa-sponsored-website-lets-gamers-test-software
via N4G: pc news feed http://n4g.com/news/1406829/darpa-sponsored-website-lets-gamers-test-software