Latest News

Keynote at Dutch Formal Methods Day 2024

Marieke Huisman gave a keynote talk titled "VerCors: Inclusive Software Verification" at the Dutch Formal Methods Day 2024.

2nd place of student teams at VerifyThis 2024

The student team "VerCors {P1*P2}" got the second place in the student team category at the 2024 edition of VerifyThis. Congratulations to Pieter Bos and Alexander Stekelenburg for this achievement!

Alexander Stekelenburg and Pieter Bos holding certificates reading Best Student Team - 2nd place - VerCors {P1*P2}

Short Paper acccepted at HCVS Workshop at ETAPS 2024

The short paper Using Horn Solvers to Generate Memory Access Permissions for Deductive Verification โ€“ A Preliminary Report by Lukas Armborst and Marieke Huisman has been accepted at the HCVS workshop at ETAPS.

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.

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.

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.