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.
Several VerCors team members participated in the Lorentz workshop on Contract Languages, March 4 – 8 at the Lorentz center in Leiden.
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.
From this February, Alexander Stekelenburg has joined our VerCors team as a PhD candidate. Alexander will also be working under the Pallas project for the program analysis for LLVM-IR and all its source languages. Welcome Alexander!
From this January, Robert Mensing has joined our VerCors team as a PhD candidate. Robert will be working under the Pallas project for the program analysis for LLVM-IR and all its source languages. Welcome Robert!
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.