The paper Verified Parameterized Choreographies written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at COORDINATION 2025. The accompanying artefact (doi) was also accepted with Available and Functional badges. See you in Lille!
A poster on the ChEOPS project will be presented at ICT.Open, the annual Dutch Computer Science event. ICT.Open will take place on April 15 and 16 in the Jaarbeurs in Utrecht. Registration is open, see https://ictopen.nl/
Marieke Huisman will be on the keynote speakers during ICT.Open, the annual Dutch Computer Science event. ICT.Open will take place on April 15 and 16 in the Jaarbeurs in Utrecht. Registration is open, see https://ictopen.nl/
On Monday February 3rd, Marieke Huisman gave a presentation titled 'The VerCors verifier: a verifier for multiple concurrent programming languages' for the Software Science group at the Radboud University Nijmegen, during a seminar organized on the occasion of the PhD defense of Ike Mulder.
We are saddened to announce that Pieter Bos, VerCors’ Scientific Programmer, is leaving the team. Pieter has been working on VerCors since 2018. We would like to thank Pieter for all his hard work over many years to improve the VerCors tool. We wish Pieter the best at his new job as a Formal Methods Engineer at QBayLogic!
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.