US Military planning to crowdsource military software testing via computer games

The US Department of Defense are looking to crowdsource their military software testing by developing computer games surrounding it, according to a DARPA proposal.

The implementation is going to be a steep initial cost, $32 million dollars specifically; but on the long haul, the plan (officially titled Crowd Sourced Formal Verification) is for it to dramatically reduce the cost of the software verification process.