Crowd-Sourced Program Verification

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2012
Accession Number
ADA571213

Entities

People

  • Michael Ernst
  • Zoran Popovic

Organizations

  • University of Washington

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Computer Programming
  • Computers
  • Government Procurement
  • Governments
  • Information Exchange
  • Military Research
  • New York
  • Prototypes
  • Software Development
  • Translations
  • United States
  • Verification
  • Video
  • Video Games

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Software Engineering
  • Systems Analysis and Design