Počáteční fáze experimentu Agentury pro obranné pokročilé výzkumné projekty americké armády (DARPA), která byla zahájena v roce 2013, byla zahájena v roce 2013. Experiment byl vytvořen pro boj s drahými, časově náročnými úskalími tradičních metod ověřování kódu.
Na základě hypotézy, že „velké množství neprofesionálů může provádět formální ověřování rychleji a efektivněji než konvenční procesy,“ navrhl DARPA program CSFV pro kontrolu velkých dávek kódu pro přesnost pomocí videoher založených na prohlížeči.
Ve středu DARPA prohlásil program za úspěšný a oznámil přidání pěti nových her do své stávající sestavy. Z blogu DARPA:
Tyto [2013] hry přeložily akce hráčů do programových anotací a pomáhaly formálním expertům při ověřování matematických důkazů pro ověření absence důležitých tříd v programovacích jazycích "C" a "Java". Počáteční analýza ukazuje, že ne-experti hrající hry CSFV generovali stovky tisíc anotací.
Mezi nové tituly patří hlavolamy Dynamakr, Paradox, a Binární dělení, "vědní hra" Duch mapa Hyperspace, a fantasy sim Monster Proof. Všechny hry DARPA CSFV, včetně her z projektové fáze 2013, jsou k dispozici online na stránkách Verigames. Hráči se musí zúčastnit 18 let nebo starší.