На странице доступны онлайн-игры, которые одновременно запускают и проверяют, работает ли программное обеспечение, написанное в C и Java есть недостатки, которые могут сделать его уязвимым для вирусов, пишет Wired со ссылкой на «Фокус». программный код, но это очень медленный и дорогой процесс для всех программ.
По данным DARPA, «большое количество непрофессионалов может выполнить формальную проверку гораздо быстрее и эффективнее, чем традиционный метод».
Пять игр на странице разработаны таким образом, что пользователи решают головоломки, чтобы продвигаться вперед, тем самым создавая математические доказательства, которые могут выявить недостатки программного обеспечения.
Пентагон принимает игроков только старше 18 лет. Помогите проверить ваши программы.
Однако недавние разоблачения того, что Агентство национальной безопасности США также взламывало видеоигры, могут ослабить энтузиазм тех, кто готов помочь.
Категории: игровые новости.