The Industry Website

Web's Largest listing of crowdsourcing and crowdfunding events


Web's Largest Directory of Sites

2,942 crowdsourcing and crowdfunding sites

DOD Looks To Make A Game Of Software Testing

Summary 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
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.

Download Flag This



 Join or Login