menu

US Military Asks Gamers To Find Faulty Code

US Military Asks Gamers To Find Faulty Code
culture

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 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

+#culture
+#technology
+culture
+Culture
+DARPA
+Electronics & Gadgets
+Entertainment
+gaming
+technology
+USA
Trending

NYC Announces A Massive $136 Million Creative Hub In Brooklyn

Cities
TREND REPORT


NEW: ENTERTAINMENT DEBRIEF
Media in the age of omnipresent tech


DOWNLOAD NOW

PSFK MEMBERSHIP


JOIN RETAIL INTELLIGENCE PLATFORM
Get access to retail reports and 20,000 retail insights


LEARN MORE

Asia Yesterday
Automotive Yesterday
No search results found.