Accession Number:

ADA571213

Title:

Crowd-Sourced Program Verification

Descriptive Note:

Final rept. Apr 2011-Jun 2012

Corporate Author:

WASHINGTON UNIV SEATTLE OFFICE OF SPONSORED PROGRAMS

Personal Author(s):

Report Date:

2012-12-01

Pagination or Media Count:

13.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE