Latest News

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 former 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!

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.

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.