Usually, software verification requires highly skilled engineers with extensive training and experience who rigorously analyze software to prove its correctness mathematically. The process is slow and expensive. The goal of DARPA's Crowd Sourced Formal Verification (CSFV) program is to create fun and engaging games that represent mathematical analysis of commonly used open source software so more people can perform code verification more efficiently. Players simply play a game and, as they achieve higher levels and complete required tasks, they help prove the absence of specific software vulnerabilities.
Games developed under the CSFV program span a range of themes, including robots, botany, and electrical widgets. Ghost Map Hyperspace uses an interstellar warfare theme and is more intuitive than a previous version, Ghost Map, making it easier and quicker for new players to progress in the game.
"We've boosted the fun factor and changed the interface to make the best use of the player's time and effort," said Ron Watro, Ph.D. and CSFV principal investigator at Raytheon BBN Technologies. "Now we're inviting gamers to enjoy the new game and help us improve software security at the same time."
For more information, please refer to the DARPA announcement.
Press Kit: http://www.verigames.com/Verigames_Phase2_PressKit.zip
*All games on the Verigames site are restricted to players 18 and older because government regulations require adult volunteer participants for this DARPA research program.
RSS