Jump to content
Sign Up To Remove Ads!


This topic is now archived and is closed to further replies. Want this topic removed from the archive?


Calling all Gamers...DARPA needs your help!

Recommended Posts

 garlic    2,639

LOL...Show your patriotism and help the government by playing video games for them. Maybe they can dust off this old poster and change the text to: I want you for DARPA's army.

DARPA wants you to verify software flaws by playing games

Can online gamers perform the sometimes tedious software verification work typically done by professional coding experts?

Researchers at the Defense Advanced Research Projects Agency (DARPA) think so and were so impressed with their first crowdsourced flaw-detecting games, they announced an new round of five games this week designed for improved playability as well as increased software verification effectiveness.

DARPA began the program known as Crowd Sourced Formal Verification (CSFV) in December 2013 and opened the Verigames web portal (http://www.verigames.com/home), which offered five free online formal verification games.

“These 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 software written in the “C” and “Java” programming languages. An initial analysis indicates that non-experts playing CSFV games generated hundreds of thousands of annotations,” DARPA stated.

According to DARPA, gameplay generates mathematical proofs that can verify the absence of certain software flaws or bugs in common open source software. “If gameplay reveals potentially harmful code, DARPA will implement approved notification and mitigation procedures, including notifying the organization responsible for the affected software. Because CSFV verifies open source software that commercial, government and/or Department of Defense systems may use, prompt notification is essential to correct the software rapidly and mitigate risk of functional or security breakdowns,” DARPA stated.

The new crowdsourced verification games include:

  • Dynamakr: Asks players to energize mysterious patterns in a cosmic puzzle machine
  • Paradox: Asks players to use an array of tools to optimize vast networks
  • Ghost Map Hyperspace: Asks players to battle alien invaders and seal off their hyperspace rifts
  • Monster Proof: Asks players to explore a kingdom of monsters and solve puzzles to get rich
  • Binary Fission: An atom-splitting game that asks players to mix and match quarks in the name of cybersecurity

Verigames offers other games including:

  • CircuitBot: Link up a team of robots to carry out a mission.
  • Flow Jam: Analyze and adjust a cable network to maximize its flow.
  • StormBound: Unweave the windstorm into patterns of streaming symbols.
  • Xylem: Catalog species of plants using mathematical formulas.




If you don't know what DARPA is:

The Defense Advanced Research Projects Agency (DARPA) is an agency of the U.S. Department of Defense responsible for the development of emerging technologies for use by the military.


Share this post

Link to post
Share on other sites
 Ukshep    21,563

I might be an epic gamer but im not going to work for darpa. Screw that!

Share this post

Link to post
Share on other sites