Researchers at the Defense Advanced Research Projects Agency (DARPA) think so and were so impressed with their first crowdsourced flaw-detecting games, they announced an new round of five games this week designed for improved playability as well as increased software verification effectiveness. DARPA began the program known as Crowd Sourced Formal Verification (CSFV) in December 2013 and opened the Verigames web portal (http://www.verigames.com/home), which offered five free online formal verification games.

Source: DARPA wants you to verify software flaws by playing games | Network World

Tagged on:                 

Leave a Reply