Verification Games: Crowd-Sourced Formal Verification
Technical Report,01 Jun 2012,30 Sep 2015
University of Washington Seattle United States
Pagination or Media Count:
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.