Jan 29, 2013: Marieke Huisman: A report on VerifyThis@FM2012

During this talk, we discuss the program verification competition held at FM2012 in August last year. We briefly discuss the general setup of the competition, followed by a more detailed discussion of the challenges and our own solutions to the challenges.