Department of Information Technology

The 1st Verified Software Competition: Experience Report

Speaker

Vladimir Klebanov, Karlsruhe Institute of Technology

Date and Time

Tuesday, June 14th, 2011 at 10:30

Location

Polacksbacken, room 1146

Abstract

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.

Back to the seminar page

Updated  2011-06-07 15:44:05 by Frédéric Haziza.