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
  • 10 december 2013

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

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.


Source: Computer World

Image: Verigames

+Electronics & Gadgets

Capsule Is Reimagining The Pharmacy As A Patient-First Experience

Related Expert

Gadi Amit

Electronics & Gadgets, Entertainment, Media & Publishing, Technology, Design

Arts & Culture Yesterday
Brand Development Yesterday
Gaming & Play Yesterday
No search results found.