De eerste fase van het Crowdsourcing CSFV-experiment (Defence Advanced Research Projects Agency) van de Amerikaanse legerorganisatie (DARPA) is in 2013 van start gegaan. Het experiment is opgezet om de kostbare, tijdrovende valkuilen van traditionele codeverificatiemethoden te bestrijden.
Uitgaande van de hypothese dat "grote aantallen niet-experts formele verificatie sneller en kosteneffectiever kunnen uitvoeren dan conventionele processen", heeft DARPA het CSFV-programma ontworpen om grote batches code te controleren op nauwkeurigheid met behulp van browsergebaseerde videogames.
Op woensdag riep DARPA het programma succesvol uit en kondigde het de toevoeging aan van vijf nieuwe games aan zijn bestaande line-up. Van de DARPA-blog:
Deze spellen [2013] vertaalden de acties van spelers naar programmaannotaties en assisteerden formele verificatiedeskundigen bij het genereren van wiskundige bewijzen om de afwezigheid van belangrijke klassen van fouten in de "C" - en "Java" -programmeertalen te verifiëren. Een eerste analyse geeft aan dat niet-experts die CSFV-spellen spelen, honderdduizenden annotaties hebben gegenereerd.
De nieuwe titels omvatten puzzelaars Dynamakr, Paradox, en Binaire Fission, "wetenschapsspel" Ghost Map Hyperspaceen fantasiesim Monster Proof. Alle CSFV-games van DARPA, inclusief die uit de projectfase van 2013, zijn online beschikbaar bij Verigames. Gamers moeten 18 jaar of ouder zijn om deel te nemen.