VerifyThis Verification Competition will take place on 30th and 31st AugustThis 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.
Verification Competition Schedule
Thursday, August 30th11.30 - 11.45 : Verification competition presentation by Marieke Huisman, U Twente, Vladimir Klebanov, Karlsruhe Institute of Technology, Rosemary Monahan, NUI Maynooth
Friday, August 31st10:30 - 12:30 : Q&A session with participants and judges
Marieke Huisman, U Twente, NL
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Rosemary Monahan, NUI Maynooth, IE
For more information : http://fm2012.verifythis.org/