June 1, 2020
Two of our ex-master students, Bob Rubbens and Ömer Şakar, have recently graduated (see here and here ) and have decided to join the VerCors team as PhD candidates in the Mercedes project and ChEOPS project respectively. Nice that we have managed to keep them with us!
March 11, 2020
From 1st of March, Lukas Armborst is our new PhD student working on the Mercedes project.
February 21, 2020
Formal Verification of Parallel Prefix Sum written by Mohsen, Wytse, Sebastiaan and Marieke has been accepted for this year edition of NFM .
February 20, 2020
Automated Verification of Parallel Nested DFS written by Wytse, Marieke, Sebastiaan and Jaco has been accepted for this years edition of TACAS.
February 19, 2020
The paper Practical Abstractions for Automated Verification of Message Passing Concurrency written by Wytse Oortwijn and Marieke Huisman got the best paper award at IFM 2019 conference .