The Department of Defense wants to create computer games that will crowdsource the complex process of verifying software for weapons systems.The Defense Advanced Research Projects Agency (DARPA), the DOD's research arm, through a project called Crowd Sourced Formal Verification (CSFV), aims to provide a "fun" way for the public to take part in software verification, a software engineering process to ensure an application satisfies its requirements, according to an agency announcement posted on FedBizOpps.gov.
Initiated by the Defense Advanced Research Projects Agency (DARPA), the Department of Defense's research arm, the Crowd Sourced Formal Verification's (CSFV) goals - which picks up at a point where the formal verification tool needs human assistance"-- is to come up with ways to automatically transform formal software verification problems into end-user games people can play.
Founded in 2010, the industry website, Crowdsourcing.org, is a neutral organization dedicated solely
to crowdsourcing and crowdfunding. As one of the most influential and credible authorities in the crowdsourcing space,
Crowdsourcing.org is recognized worldwide for its intellectual capital, crowdsourcing and crowdfunding
practice expertise and unbiased thought leadership.