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.