Latest News

VerCors Poster & Tool Demo at ETAPS 2024

At ETAPS, VerCors will be presented as a poster and during the tool demo session on Wednesday April 10, 14:00 – 16:00. Come and talk to us if you are interested to learn more about VerCors.

Lorentz workshop on Contract Languages

Several VerCors team members participated in the Lorentz workshop on Contract Languages, March 4 – 8 at the Lorentz center in Leiden.A group photo of the participants of the Lorentz workshop.

Paper accepted at RRRR Workshop at ETAPS

The paper Replication of a Deductive Synthesizer for Programs with Pointers written by Serge Johanns and Marieke Huisman has been accepted the RRRR workshop at ETAPS.

New PhD candidate Alexander Stekelenburg

From this February, Alexander Stekelenburg has joined our VerCors team as a PhD candidate. Alexander will also be working under the Pallas project for the program analysis for LLVM-IR and all its source languages. Welcome Alexander!

New PhD candidate Robert Mensing

From this January, Robert Mensing has joined our VerCors team as a PhD candidate. Robert will be working under the Pallas project for the program analysis for LLVM-IR and all its source languages. Welcome Robert!

More News

Resources

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.

Report a Bug

For bug reports and feature requests, visit the issues tracker. For questions and support, email us.

Latest Release

Get the latest VerCors release from GitHub here.