Latest News

Paper accepted at CAV 2024

The paper The VerCors Verifier: a Progress Report written by Lukas Armborst, Pieter Bos, Lars van den Haak, Marieke Huisman, Robert Rubbens, Ömer Şakar, and Philip Tasche has been accepted at CAV 2024.

Member graduation: Dylan Janssen

One of our ex-master students, Dylan Janssen, has graduated today. His masters thesis is titled "Design and Implementation of new features for Runtime Permission Verification in Concurrent Java Programs using VerCors". You can find it here. Well done Dylan! We wish you the best of luck in your future endeavors.

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.

Prof. Marieke Huisman receives the 2023 Athena Award at ICT.OPEN 2024

Prof. Marieke Huisman has received the 2023 Athena Award at ICT.OPEN 2024. The Athena Award rewards female researchers who stand out, and because of that are role models for others, demonstrating that a career in science is possible. Congratulations, Marieke!

prof. dr. Marieke Huisman receiving the Athena award.

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}

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.