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 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.
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 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!
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.
Get the latest VerCors release from GitHub here.