Latest News

VerCors’ Scientific Programmer leaving

We are saddened to announce that Pieter Bos, VerCors’ Scientific Programmer, is leaving the team. Pieter has been working on VerCors since 2018. We would like to thank Pieter for all his hard work over many years to improve the VerCors tool. We wish Pieter the best at his new job as a Formal Methods Engineer at QBayLogic!

Two papers accepted at SEFM 2024

Two papers have been accepted for publication at SEFM 2024: Deductive verification of SYCL in VerCors written by Ellen Wittingen, Marieke Huisman and Ömer Şakar, and Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems written by Philip Tasche, Paula Herber and Marieke Huisman.

Paper & artifact accepted at iFM 2024

The paper VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at iFM 2024. The accompaniying artifact (available here) has also been accepted with available & reusable badges.

Former VerCors Team Member Graduation: Naum Tomov

A former member of the VerCors team and now ex-master student, Naum Tomov has graduated. Well done Naum! We wish you best of luck in your future endeavors.

Two Member Graduation: Jort Mol Lous & Tycho Dubbeling

Two of our ex-bachelor students, Jort Mol Lous & Tycho Dubbeling, have graduated. Jort's bachelor thesis is titled "Automatic Precondition Generation For VerCors" and Tycho's bachelor thesis is titled "Predicate Subtyping in VerCors". Well done Tycho and Jort! We wish you best of luck in your future endeavors.

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.