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

January 29, 2013A report on VerifyThis@FM2012
Room: Zi 5126Marieke Huisman

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.