Accession Number:

AD1006471

Title:

Verification Games: Crowd-Sourced Formal Verification

Descriptive Note:

Technical Report,01 Jun 2012,30 Sep 2015

Corporate Author:

University of Washington Seattle United States

Personal Author(s):

Report Date:

2016-03-01

Pagination or Media Count:

21.0

Abstract:

Over the more than three years of the project Verification Games Crowd-sourced Formal Verification the verification tools developed by the Programming Languages and Software Engineering group were improved. A series of games were developed by the Center for Game Science Pipe Jam, Traffic Jam, Flow Jam and Paradox. Verification tools and games were integrated to verify that the Hadoop-common program satisfies constraints that render it free of the following vulnerabilities injection attacks, incorrect use of format strings, violations of documented locking conventions.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE