Latest News
Paper accepted at SoSyM
The paper Deductive Reasoning about Embedded Systems using Reachable Abstract States Invariants written by Philip Tasche, Paula Herber and Marieke Huisman has been accepted for publication at the International Journal on Software and Systems Modeling.
Best student team at VerifyThis 2026
The student team "VerCors --dev-unsafe-optimization" got chosen as one of the two best student teams at the 2026 edition of VerifyThis. Congratulations to Alexander Stekelenburg and Ömer Şakar for this achievement!
Paper accepted at PLACES 2026
The paper Predicate Subtypes in VerCors written by Tycho Dubbeling, Marieke Huisman and Ömer Şakar has been accepted at PLACES 2026.
Two papers accepted at SPIN 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.
VerCors-related talks at Dagstuhl Seminar
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.