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!
April 15, 2019
Go to the news overview.