VerCors Team participated in ETAPS 2019 conference for VerifyThis competition, held in Parague and have won two awards.

Sophie Lathouwers and Wytse Oortwijn won the Best Student Team award!

Marieke Huisman and Sebastiaan Joosten won the “Most Distinguished Tool Feature Award” for their usage of ghost method parameters to model sparse matrices!