A US Army's Defense Advanced Research Projects (DARPA), a 2013-ban indított formális hitelesítési kísérletének kezdeti fázisa. A kísérlet a hagyományos kód-ellenőrzési módszerek drága, időigényes buktatóinak leküzdésére készült.
Az a hipotézis, hogy "a nem szakemberek nagy száma képes a hivatalos eljárások gyorsabb és költséghatékonyabb elvégzésére," a DARPA tervezte a CSFV programot, hogy a böngésző alapú videojátékok segítségével ellenőrizze a kódok nagy mennyiségét.
Szerdán a DARPA sikeresen hirdette a programot, és öt új játékot jelentett be a meglévő felállásában. A DARPA blogból:
Ezek a [2013] játékok lefordították a játékosok cselekvéseit a programmegjegyzésekre és a támogatott formális ellenőrző szakértőkre matematikai bizonyítékok létrehozásában, hogy ellenőrizhessék a "C" és "Java" programozási nyelvek fontos osztályainak hiányát. A kezdeti elemzés azt jelzi, hogy a CSFV játékokat játszó nem szakértők több százezer megjegyzést generáltak.
Az új címek rejtvényesek Dynamakr, Paradoxon, és Bináris hasadás, "tudományos játék" Ghost Map Hyperspace, és a fantasy sim Monster Proof. Az összes DARPA CSFV-játék, beleértve a 2013-as projekt fázisát is, online elérhető a Verigames-en. A játékosoknak 18 éves vagy annál idősebbnek kell lenniük.