Počiatočná fáza experimentu Agentúry pre obranné pokročilé výskumné projekty americkej armády (DARPA) sa začala v roku 2013. Experiment bol vytvorený na boj proti drahým časovo náročným nástrahám tradičných metód overovania kódov.
Na základe hypotézy, že „veľké množstvo expertov môže vykonávať formálne overovanie rýchlejšie a efektívnejšie ako konvenčné procesy,“ navrhol DARPA program CSFV na kontrolu veľkých dávok kódu na presnosť pomocou videohier založených na prehliadači.
V stredu DARPA vyhlásil program za úspešný a oznámil pridanie piatich nových hier do svojej existujúcej zostavy. Z blogu DARPA:
Tieto [2013] hry preložili akcie hráčov do programových anotácií a pomohli formálnym expertom na verifikáciu pri vytváraní matematických dôkazov na overenie absencie dôležitých tried chýb v programovacích jazykoch "C" a "Java". Počiatočná analýza ukazuje, že ne-experti hrajúci hry CSFV generovali stovky tisíc anotácií.
Nové tituly zahŕňajú hlavolamy Dynamakr, paradoxa Binárne delenie, "vedecká hra" Duch mapa Hyperspacea fantasy sim Dôkaz Monster, Všetky hry DARPA CSFV, vrátane hier z fázy projektu 2013, sú k dispozícii online na stránkach Verigames. Hráči sa musia zúčastniť 18 rokov alebo staršie.