VerifyThis Competition

Jonáš Fiala and Thibault Dardinier won an Award as Best Team at the verifyThis 2025 Competition. Congratulations!

[igrep]

こんなのあったのか。“pro­gram ver­i­fi­ca­tion com­pe­ti­tion tak­ing place as part of the Eu­ro­pean Joint Con­fer­ences on The­ory and Prac­tice of Soft­ware (ETAPS 2018)”