Začetna faza preizkusa uradne verifikacije (CSFV), ki jo je izvedla ameriška agencija za obrambo naprednih raziskovalnih projektov (DARPA), se je začela leta 2013. Poskus je bil ustvarjen za boj proti dragim, dolgotrajnim pastem tradicionalnih metod preverjanja kode.
Deluje na hipotezi, da "lahko veliko število ne-strokovnjakov opravi formalno preverjanje hitreje in stroškovno učinkoviteje kot konvencionalni postopki," je DARPA oblikoval program CSFV za preverjanje velikih serij kode za natančnost z uporabo video iger, ki temeljijo na brskalniku.
DARPA je v sredo razglasila program za uspeh in napovedala dodajanje petih novih iger obstoječi liniji. Iz spletnega dnevnika DARPA:
Te [2013] igre so igralčeve akcije prevedle v programske opombe in pomagale formalnim strokovnjakom za preverjanje pri ustvarjanju matematičnih dokazov za preverjanje odsotnosti pomembnih razredov napak v programskih jezikih "C" in "Java". Začetna analiza kaže, da so ne-strokovnjaki, ki igrajo igre CSFV, ustvarili več sto tisoč pripisov.
Novi naslovi vključujejo uganke Dynamakr, Paradoks, in Binarna fisija, "znanstvena igra" Hiperprostor Ghost Map, in fantasy sim Monster Proof. Vse igre DARPA CSFV, vključno s tistimi iz faze projekta 2013, so na voljo na spletu v Verigamesu. Igralci morajo biti stari 18 let ali več, da lahko sodelujejo.