Theses and Dissertations
Now showing items 1-1 of 1
Crowdsourced formal verification: a business case analysis toward a human-centered business model
(Monterey, California: Naval Postgraduate School, 2015-06)
The DARPA project Crowd Sourced Formal Verification (CSFV) tries to investigate whether offering free games via the Internet that translate player’s actions into program annotations helps to overcome the challenges of the ...