August 21, 2020
Our papers Mohsen Safari and Marieke Huisman - A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-based Sorting Algorithms, and Lars van den Haak, Anton Wijs, Mark van den Brand and Marieke Huisman - Formal methods for GPGPU programming: is the demand met? were accepted in iFM 2020. Moreover, the former paper is our first ChEOPS project paper.
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.