Latest News

1st price at Versen PhD Thesis Award 2021

March 1, 2021

Wytse’s thesis “Deductive techniques for model-based concurrency verification” gets the 1st price at the Versen PhD thesis Award 2021.

<<Wytse's thesis cover should be here, sorry :S>>

New VerCors project SAVES

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.

Two new papers around VerCors accepted!

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.

Two papers on VerCors accepted at iFM 2020!!!

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.

Members Graduation!

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!

More news

    Tool Installation

    The VerCors toolset can be installed on macOSX, Linux and Windows (via Cygwin). Follow the complete installation guidelines here.

    Latest Publications

    A complete list of publications is listed here.

    Latest Release

    Get VerCors latest release from GitHub.