Latest News
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!
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.
Paper accepted at RRRR Workshop at ETAPS
The paper Replication of a Deductive Synthesizer for Programs with Pointers written by Serge Johanns and Marieke Huisman has been accepted the RRRR workshop at ETAPS.