The paper Predicate Subtypes in VerCors written by Tycho Dubbeling, Marieke Huisman and Ömer Şakar has been accepted at PLACES 2026.
Two papers have been accepted at SPIN 2026. The first paper is titled Crash-free Deductive Verifiers by Wander Nauta, Marcus Gerhold and Marieke Huisman. The second paper is titled Deductive Verification of Weak Memory Programs with View-based Protocols by Ömer Şakar, Soham Chakraborty, Marieke Huisman and Anton Wijs.
The VerCors team will be represented at the Dagstuhl Seminar "Software Contracts meet System Contracts". Marieke Huisman will give a presentation titled "Software Contracts" on Tuesday, January 13th 2026, and Philip Tasche will give a short talk titled "Local Proofs of Global Properties" on Thursday, January 15th 2026.
The paper Preserving Provability over GPU Program Optimizations with Annotation-Aware Transformations written by Ömer Şakar, Mohsen Safari, Marieke Huisman and Anton Wijs has been published at the journal Formal Methods in System Design.
Marieke Huisman will give an invited talk at the iFM conference on November 21st 2025 in Paris. The title of her talk is: "Bug-free software: a realisable dream? (and how VerCors will help...)".
The VerCors toolset can be installed on macOSX, Linux and Windows (via Cygwin). Follow the complete installation guidelines here.
A complete list of publications is listed here.
For bug reports and feature requests, visit the issues tracker. For questions and support, email us.
Get the latest VerCors release from GitHub here.