Verigames

The Defense Advanced Research Projects Agency (DARPA) wants to help make computer software more safe and secure. DARPA's Crowd Sourced Formal Verification (CSFV) program intends to create casual computer games that can also perform formal verification of software, a process that checks that software is free from flaws that can make it operate improperly or vulnerable to misuse. - See more at: http://www.verigames.com/FAQ#sthash.DYAdrNUc.dpuf
To achieve the goals of CSFV, we put together Verigames.com through the collective effort of the elite designers, mathematicians, and developers in the CSFV project, and Topcoder's community of over 500,000 registered global members. - See more at: http://www.verigames.com/aboutUs#sthash.Mq1RaFeB.dpuf