Початковий етап офіційного перевірки армії США (DARPA), проведеного офіційною перевіркою (CSFV), проведеної в 2013 році. Експеримент був створений для боротьби з дорогими, трудомісткими пастками традиційних методів перевірки коду.
Працюючи на гіпотезі, що "велика кількість неспеціалістів може виконувати формальну перевірку швидше і економічніше, ніж звичайні процеси", DARPA розробила програму CSFV для перевірки великих партій коду на точність за допомогою браузерних відеоігор.
У середу, DARPA проголосила програму успіхом і оголосила про додавання п'яти нових ігор до свого існуючого модельного ряду. З блогу DARPA:
Ці ігри [2013] перевели дії гравців у анотації програми та допомагали фахівцям з формальної перевірки генерувати математичні докази для перевірки відсутності важливих класів недоліків у мовах програмування "C" та "Java". Початковий аналіз показує, що неспеціалісти, що грають у CSFV-ігри, створили сотні тисяч анотацій.
Нові назви включають головоломки Динамакр, Парадокс, і Діленням, "наука гра" Гіперпростір з картами привидіві фантастика сим Доказ монстра. Всі ігри CSFV DARPA, в тому числі з фази проекту 2013 року, доступні в Інтернеті на сайті Verigames. Гравці повинні бути старше 18 років, щоб брати участь.