Results announced for the VerifyThis 2016 Program Verification Competition, co-organised by Marieke Huisman
VerifyThis 2016 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016) on April 2-3, 2016 in Eindhoven, the Netherlands. It is the 5th event in the VerifyThis competition series.
- Best problem submission: Daniel Grahl, for suggesting "Strassen's algorithm", which inspired the matrix multiplication challenge.
- Distinguished user-assistance tool feature: Alexander J. Summers and Malte Schwerhoff (Viper) for their support of quantified permissions.
- Best student team (2x): Martin Clochard (Why3), Léon Gondelman & Mário Pereira (Why3)
- Best team: Bart Jacobs (VeriFast)
More information: http://etaps2016.verifythis.org/home
April 6, 2016
Go to the news overview.