Latest News

New PhD candidate Alexander Stekelenburg

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!

New PhD candidate Robert Mensing

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!

Journal Paper accepted at JSS

The paper Survey of Annotation Generators for Deductive Verifiers written by Sophie Lathouwers and Marieke Huisman has been accepted to be published in the journal of Systems & Software.

Member graduation: Ellen Wittingen

One of our ex-master students, Ellen Wittingen, has graduated today. Her mastersthesis is titled "Deductive verification for SYCL". You can find it here. Well done Ellen! We wish you best of luck in your future endeavors.

Prof. Marieke Huisman receives the 2023 Athena Award

Prof. Marieke Huisman has been awarded the 2023 Athena Award. The Athena Award rewards female researchers who stand out, and because of that are role models for others, demonstrating that a career in science is possible. Congratulations, Marieke!

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.