Първият етап от експеримента на официалната проверка на CSRV (DARPA) на армията на САЩ за защита на модерните изследователски проекти (DARPA) стартира през 2013 г. Експериментът беше създаден за борба със скъпите, отнемащи време капани на традиционните методи за проверка на кода.
Действайки върху хипотезата, че "голям брой неспециалисти могат да извършват официална проверка по-бързо и по-ефективно от конвенционалните процеси", DARPA проектира CSFV програмата, за да проверява големи партиди код за точност, използвайки браузърни видео игри.
В сряда, DARPA обяви програмата за успех и обяви добавянето на пет нови игри в съществуващия си състав. От блога на DARPA:
Тези [2013] игри превърнаха действията на играчите в анотации на програмата и помогнаха на експертите за официална проверка при генерирането на математически доказателства, за да проверят отсъствието на важни класове недостатъци в езиците за програмиране "С" и "Java". Първоначалният анализ показва, че неспециалистите, играещи CSFV игри, генерират стотици хиляди анотации.
Новите заглавия включват пъзели Dynamakr, парадокс, и Двоично делене, "наука игра" Хиперпространство на Ghost Mapи фентъзи сим Доказателство за чудовище, Всички игри CSRV на DARPA, включително тези от фазата на проекта за 2013 г., са достъпни онлайн в Verigames. Геймърите трябва да са навършили 18 години, за да участват.