Latest News

Paper accepted at FMICS 2021

August 27, 2021

The paper Modular Transformation of Java Exceptions Modulo Errors by Robert Rubbens, Sophie Lathouwers and Marieke Huisman, was accepted at the International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021). Here is the link to the paper.

Paper accepted at SAS 2021

July 21, 2021

The paper Automated Verification of the Parallel Bellman–Ford Algorithm by M. Safari, W. Oortwijn and M. Huisman, has been accepted at the 28th Static Analysis Symposium.

New internship to bring VerCors a nice UI

July 21, 2021

Théophile Petit from TELECOM Nancy has joined our VerCors team for an internship during this summer period. He will be working on a VS-code compatible plugin for VerCors.

Paper accepted at FormaliSE 2021

May 21, 2021

Permission-Based Verification of Red-Black Trees and Their Merging by Lukas Armborst and Marieke Huisman has been accepted at the 2021 edition of FormaliSE.

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

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.