Latest Awards

The winners from 2025 are:

Overall Best Team
“Ghost in the Loop”:  Jonáš Fiala and Thibault Dardinier (Student Team)

Best 1-person Team
“Lurking in the Grass”: Alexander Summers

Most Impressive Tool Medley
“The Marians”: Marian Lingsch-Rosenfeld and Gidon Ernst

Best Contributed Problem
Ștefan Ciobâcă

Innovative Tool Feature

• Model checking based on symbolic execution used by the “Delaware Blue Hens”: Stephen Siegel and Alex Wilton
• Fully automated memory safety verification with Broom used by “IsaTUW”: Florian Sextl

Tool Used by Most Teams

• 1st place: Dafny
• 2nd place: Viper

The winners of previous competitions are listed in the archive.