(20.01.2012; 12:40) Laut einem Bericht der DARPA, die Defense Advanced Research Projects Agency, soll das amerikanische Verteidigungsministerium 32 Millionen Dollar in die Entwicklung von Computerspielen investieren. Mit diesen Spielen sollen neue militärische Software-Generationen getestet werden.
Die Agentur verkündete, dass die aktuellen Ergebnisse der Entwicklungspraktiken in Bereich der Software besagen, dass sich einer von fünf Fehlern, die sich unter tausenden Codezeilen verstecken, mit diesen Programmen finden lässt. Das Ziel dieser neuen Programme ist es ebenso, die Kosten der formalen Software-Verifikation zu reduzieren. Bei diesen Computerspielen sollte man sich nicht Spiele im Sinne von Battlefield 3 vorstellen. Es sollen Logik-Spiele im Casual-Bereich entwickelt werden,
die allgemein zugänglich sein sollen.
Bei diesem Versuch handelt es sich nicht um den ersten Schritt, um mit Hilfe von Crowd-Source-Technologie Informationen zu verifizieren. Das bekannteste Beispiel ist laut the Verge reCaptcha. Mit diesem Programm können Wörter für die Digitalisierung überprüft werden. Es handelt sich dabei um die erste Integration dieser Technologien zur Unterstützung eines militärischen Systems.