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.

Awards

  • 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 06, 2016
See this news item in overview by year.