DARPA, amerykańska agencja zajmująca się rozwojem projektów obronnych, wynajęła firmę ( i naukowców z Uniwersytetu Waszyngtońskiego) do stworzenia gry, która po udostępnieniu publicznie ma pomóc wyszukać błędy i luki w zabezpieczeniach wojskowego oprogramowania.
Celem eksperymentu jest stworzenie zagadek, które gracze mogliby rozwiązywać na laptopach i urządzeniach przenośnych. Rozwiązanie gier pomogą przeprowadzać formalne weryfikacje, zastosować matematyczne teorie aby ustalic, czy kod oprogramowania jest wolny od błędów. Projekt rozpisany na lata 2012 - 2015 ma pochłonąć 32 miliony dolarów.
Źródło: Crowdsourcing.org
Konrad Hildebrand