Skip to content
Type: Paid Crowdsourcing
Client: DARPA through Kestrel Technology Inc.
Project Specifics: This project is an offshoot of 2 games produced for DARPA as part of a larger study called Crowd Source Formal Verification, or CSFV. Formal Verification is a process by which a computer program can be empirically proven to be free from bugs. The process requires an expert to identify key logical statements and generate proofs which demonstrate that the code is 100% reliable. Some parts of this process can be automated and other parts require human interaction to identify key elements and establish relationships.
The CSFV project challenged several teams of formal verification experts and game designers to encode the information that humans could help with into a form that could be turned into games.
Viper is a non-game presentation of the same data used to generate games, but making use of paid workers to generate the interconnection data.
Link(s): Link no longer active (project completed 2015)
