Crowd-Sourced Program Verification
Final rept. Apr 2011-Jun 2012
WASHINGTON UNIV SEATTLE OFFICE OF SPONSORED PROGRAMS
Pagination or Media Count:
This effort investigated a radical new approach to program verification by transforming the problem domain into one in which non-experts could interact with a program through the framework of a video game. For the investigation, the contractor constructed a prototype of a crowd-sourced verification system that takes as input a given program and produces as output a proof of correctness of that program. The system translates a select verification property into a game. The completion of the prototype suggested that research along this avenue is worth continuing.
- Computer Programming and Software