Latest News

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!

New PhD Student in Mercedes Project

March 11, 2020

From 1st of March, Lukas Armborst is our new PhD student working on the Mercedes project.

Paper accepted at NFM

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 .

Paper accepted at TACAS 2020

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.

Best paper award at IFM 2019

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 .

Wytse IFM best paper price.

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

    VerCors version 1.0 has been released.