Document is current
Any future updates will be listed below
-
Authors
van den Haak, Lars B. https://orcid.org/0000-0002-0330-5016
Wijs, Anton https://orcid.org/0000-0002-2071-9624
Huisman, Marieke https://orcid.org/0000-0003-4467-072X
- License Information
-
More Information
Chapter History
First Online: 24 July 2026
Ethics
Disclosure of Interests: The authors have no competing interests to declare that are relevant to the content of this article.
Data-Availability Statement: The data for the experiments (Sect. ), the Lean proof (Sect. ), and the version of the VerCors tool used in this paper can be found in an accompanying artefact at .
Conference Information
Conference Acronym: CAV
Conference Name: International Conference on Computer Aided Verification
Conference City: Lisbon
Conference Country: Portugal
Conference Year: 2026
Conference Start Date: 26 July 2026
Conference End Date: 29 July 2026
Conference Number: 38
Conference ID: cav2026
Conference URL: https://www.floc26.org/program
