"CrowdMine: towards crowdsourced human-assisted verification."

Wenchao Li, Sanjit A. Seshia, Somesh Jha (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics