Using crowd-sourcing techniques for program verification