The 1st Verified Software Competition: Experience Report
Vladimir Klebanov, Karlsruhe Institute of Technology
- Date and Time
Tuesday, June 14th, 2011 at 10:30
Polacksbacken, room 1146
In August 2010, the 1st Verified Software Competition was held at the VSTTE 2010 conference. Eleven teams participated in the competition, each with a different verification tool. The participants had to implement, specify, and verify the solutions to five challenges posed by the organizers - in one afternoon. Later, the participants also had the chance to revise or complete their solutions for a paper, which would appear at FM 2011. We report from the competition, offering a snapshot of the state of the art in program verification.