ДАРПА покреће други круг онлине игара

Иницијална фаза експеримента званичне верификације (ЦСФВ) који је спровела америчка агенција за напредне истраживачке пројекте у области одбране (ДАРПА), покренут је 2013. године. Експеримент је створен да се бори против скупих, дуготрајних замки традиционалних метода верификације кода.

Радећи на хипотези да "велики број не-стручњака може обавити формалну верификацију брже и исплативије од конвенционалних процеса", ДАРПА је дизајнирала ЦСФВ програм за провјеру великих серија кода за точност помоћу видео игара заснованих на претраживачу.

ДАРПА је у сриједу прогласила програм за успјех и најавила додавање пет нових игара у постојећу линију. Са ДАРПА блога:

Ове [2013] игре су превеле акције играча у програмске напомене и помагале стручњацима за формалну верификацију у генерисању математичких доказа како би потврдили одсуство важних класа мана у програмским језицима "Ц" и "Јава". Иницијална анализа показује да не-експерти који играју ЦСФВ игре генеришу стотине хиљада коментара.

Нови наслови укључују загонетке Динамакр, Парадокс, и Бинарни фисија, "Наука игра" Хиперспаце, и фантаси сим Монстер Прооф. Све ДАРПА ЦСФВ игре, укључујући и оне из фазе пројекта 2013, доступне су онлине на Веригамесу. Играчи морају имати 18 или више година да би учествовали.