Inicijalna faza eksperimenta obrane provjere (CSFV), koji je pokrenuta od strane američke vojne agencije za napredne istraživačke projekte (DARPA), pokrenut je 2013. godine. Eksperiment je stvoren za borbu protiv skupih, dugotrajnih zamki tradicionalnih metoda provjere koda.
Rad na hipotezi da "veliki broj ne-stručnjaka može obaviti formalnu provjeru brže i isplativije od konvencionalnih procesa", DARPA je osmislila CSFV program kako bi provjerila velike serije koda za točnost pomoću video igara utemeljenih na pregledniku.
DARPA je u srijedu proglasila program uspjehom i najavila dodavanje pet novih igara u postojeću postavu. S bloga DARPA:
Ove [2013] igre prevele su akcije igrača u programske napomene i pomagale formalnim stručnjacima za verifikaciju u generiranju matematičkih dokaza kako bi potvrdili odsutnost važnih klasa nedostataka u programskim jezicima "C" i "Java". Početna analiza pokazuje da ne-stručnjaci koji igraju CSFV igre generiraju stotine tisuća komentara.
Novi naslovi uključuju zagonetke Dynamakr, Paradoks, i Binarna fisija, "znanost" Hyperspace hiper karte, i fantasy sim Monster Dokaz, Sve DARPA-ine CSFV igre, uključujući i one iz faze projekta 2013., dostupne su online na Verigamesu. Igrači moraju imati 18 ili više godina da bi mogli sudjelovati.