While I’ve not directly worked on VerCors, a lot of my research is inspired by the problems that are encountered here. Below you can find a link to VerCors’ website as well as the poster I designed together with Lukas Armborst for this project.

Useful links

• Website: https://vercors.ewi.utwente.nl/
• Poster: PDF