DARPA releases five more titles that gamers can test-play for coding accuracy.

DARPA Launches a Second Round of Code-Checking Online Games

DARPA releases five more titles that gamers can test-play for coding accuracy.

The initial phase of the US Army’s Defense Advanced Research Projects Agency’s (DARPA) crowd-sourced formal verification (CSFV) experiment launched in 2013. The experiment was created to combat the expensive, time-consuming pitfalls of traditional code verification methods.

Recommended Videos

Operating on the hypothesis that “large numbers of non-experts can perform formal verification faster and more cost-effectively than conventional processes,” DARPA designed the CSFV program to check large batches of code for accuracy using browser-based video games. 

On Wednesday, DARPA proclaimed the program a success and announced the addition of five new games to its existing lineup. From the DARPA blog:

These [2013] games translated players’ actions into program annotations and assisted formal verification experts in generating mathematical proofs to verify the absence of important classes of flaws in the “C” and “Java” programming languages. An initial analysis indicates that non-experts playing CSFV games generated hundreds of thousands of annotations.

The new titles include puzzlers DynamakrParadox, and Binary Fission, “science game” Ghost Map Hyperspace, and fantasy sim Monster Proof. All of DARPA’s CSFV games, including those from the 2013 project phase, are available online at Verigames. Gamers must be 18 years of age or older to participate.


GameSkinny is supported by our audience. When you purchase through links on our site, we may earn a small affiliate commission. Learn more
related content
Read Article Skyrim Players Still Want Sexy Armor for Male Characters
Skyrim cover after of an armored male character
Read Article Assassin’s Creed Shadows Ignites Ghost of Tsushima Reddit Debate
Split image of Assassin's Creed Shadows Yasuke and Naoe and Jin Sakai from Ghost of Tsuhima
Read Article Sims 4 Roadmap Teases More Romance With New Content
Sims 4 season of love roadmap, new date spots, kits, expansion, and more
Read Article Little Kitty, Big City Assures Players They Can’t Hurt the Cat
Kitty safely checks out a sunny nap spot inside a satellite dish in Little Kitty Big City
Read Article Helldivers 2 Director Teases New Cape After Review Bombing
helldivers 2 player squad of four
Related Content
Read Article Skyrim Players Still Want Sexy Armor for Male Characters
Skyrim cover after of an armored male character
Read Article Assassin’s Creed Shadows Ignites Ghost of Tsushima Reddit Debate
Split image of Assassin's Creed Shadows Yasuke and Naoe and Jin Sakai from Ghost of Tsuhima
Read Article Sims 4 Roadmap Teases More Romance With New Content
Sims 4 season of love roadmap, new date spots, kits, expansion, and more
Read Article Little Kitty, Big City Assures Players They Can’t Hurt the Cat
Kitty safely checks out a sunny nap spot inside a satellite dish in Little Kitty Big City
Read Article Helldivers 2 Director Teases New Cape After Review Bombing
helldivers 2 player squad of four
Author
K.W. Colyard
I'm a freelance writer and editor from the rural American South. I write. I read. I play video games. I also sleep sometimes. Talk to me about ampersands, blankets, and the Oxford comma.