Image Credit: Bethesda
Forgot password
Enter the email address you used when you joined and we'll send you instructions to reset your password.
If you used Apple or Google to create your account, this process will create a password for your existing account.
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Reset password instructions sent. If you have an account with us, you will receive an email within a few minutes.
Something went wrong. Try again or contact support if the problem persists.
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.
This article is over 9 years old and may contain outdated information

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 about our Affiliate Policy
Author
Image of K.W. Colyard
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.