Агенцията за научни изследвания към Пентагона (DARPA) е създала интернет страница - Verigames

На страницата са достъпни онлайн игри, които едновременно извършват и проверка дали в софтуера, написан на C и Java, има пропуски, които могат да го направят уязвим за вируси, съобщава Wired.

Такава проверка обикновено се извършва от специално тренирани инженери, които ръчно „претърсват” програмния код, но това е много бавен и скъп процес, за да бъде приложен към всички програми. Според DARPA „възможно е голям брой непрофесионалисти да осъществят формалната проверка много по-бързо и ефективно в сравнение с традиодионния метод”.
Петте игри на страницата са създадени така, че потребителите решават загатки, за да напреднат, като така генерират математически доказателства, които могат да установят софтуерни пропуски.
Пентагонът приема само геймъри над 18 години в помощ за проверка на програмите си. Скорошните разкрития, че американската Агенция за национална сигурност е прониквала и във видеоигрите обаче, може да охлади ентусиазма на желаещите да помагат.