menu
Get a daily delivery of PSFK
Subscribe to get a daily digest of new ideas and discoveries and to find out about upcoming events

US Military Asks Gamers To Find Faulty Code

US Military Asks Gamers To Find Faulty Code

Government sponsored video games that help DARPA weed out software blips.

Serena Chu

The U.S. Department of Defense is inviting avid gamers to scan through an astronomical amount of software codes for vulnerabilities. The Verigames site offers five free games, and is set up in a manner similar to crowd-sourcing projects like SEI@homel and Fold.it.

DARPA designed the games to generate program annotations and mathematical proofs while gamers are solving puzzles in order to move on to the next level. The annotations and proofs can identify or prove the absence of flaws in software written in either C or Java. DARPA believes this crowd-sourcing approach can not only speed up the formal software verification process, but also reduce the overall programing costs.

verigames 1

If an error is found, the agency will notify the managers of the software immediately. Governmental grants have been given to companies that have assisted in the software development process. Currently, only gamers over the age of 18 are allowed to participate. But the agency welcomes the idea to build a game playing community that can help solve software errors in the future.

Verigames

Source: Computer World

Image: Verigames

{{post.author_display_name}}
  • {{post.date_formated}}
{{post.author_display_name}}
  • {{post.date_formated}}
Read More Tap to Expand
PSFK Writer {{post.author_display_name}}
  • {{post.date_formated}}
PSFK 2015

Live, Work, Play Better
The PSFK 2015 conference experience

NEW YORK, NY | April 16-April 18 2015
Get a daily delivery of PSFK
TREND REPORT

PSFK Labs presents
The Future of Retail 2015

A Manifesto To Reinvent The Store