January 1, 2021
SAVES: Scalable Verification of Industrial Control Systems is a new project involving VerCors. This project is a cooperation of WWU-Münster and the University of Twente, funded by a WWU - UT collaboration grant.
The project aims to formaly analyse embedded systems developed with the C++ library System-C using VerCors.
October 26, 2020
Our papers Mohsen Safari and Marieke Huisman - Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms, and Stefan Blom, Saeed Darabi, Marieke Huisman and Mohsen Safari - Correct Program Parallelisation were accepted in ICTAC 2020 and the STTT journal respectively.
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 latest 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!