VerifyThis Verification Competition will take place on 30th and 31st August

This event attached to the FM 2012 symposium aims to evaluate the usability of (mostly deductive) verification tools in a controlled experiment that could be easily repeated by others.
The competition will offer a number of challenges presented in natural language.
Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification.
Solutions will be judged for correctness, completeness and elegance.

Verification Competition Schedule

Thursday, August 30th

11.30 - 11.45 : Verification competition presentation by Marieke Huisman, U Twente, Vladimir Klebanov, Karlsruhe Institute of Technology, Rosemary Monahan, NUI Maynooth
14.00 - 18.30 : Problem-solving session

Friday, August 31st

10:30 - 12:30 : Q&A session with participants and judges
16:30 : Announcement of preliminary results (in closing session of FM 2012)


Marieke Huisman, U Twente, NL

Vladimir Klebanov, Karlsruhe Institute of Technology, DE

Rosemary Monahan, NUI Maynooth, IE

For more information :