We gratefully acknowledge the contributions of students — direct or indirect — that were made as part of a Master project, Bachelor project or the Capita Selecta course:
For any further information about VerCors, you can contact us via:
VerCors is and has been supported by several projects:
VerCors: Verification of Concurrent Data Structures
Funded by: European Research Council
Duration: 2011 until 2016
VerDi: Verification of Distributed Software
Funded by: NWO
Duration: 2015 until 2019