Summary
The military venture capital arm has tapped technology research firm Galois and University of Washington scientists to develop computer games that will rope in the public to verify if military systems are free from software errors and security bugs, contract databases show.
Description
The funding came out of the Defense Advanced Research Projects Agency program Crowd Sourced Formal Verification. The goal of the experiment is to create puzzles that gamers can solve on laptops and mobile devices. The game solutions would help run formal verification, the application of mathematical theories to determine if software code is free from bugs.