VerifyThis awards for VerCors teams

At “VerifyThis 2019”, part of the ETAPS conference in Prague in April 2019, several prizes were won by FMT members.

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

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