Document is current
Any future updates will be listed below
-
Authors
Walch, Armin https://orcid.org/0000-0002-2298-9353
Moser, Georg https://orcid.org/0000-0001-9240-6128
Schoenmakers, Berry https://orcid.org/0000-0001-6273-8930
Zuleger, Florian https://orcid.org/0000-0003-1468-8398
- License Information
-
More Information
Chapter History
First Online: 24 July 2026
Ethics
Disclosure of Interests: The authors have no competing interests.
Data-Availability Statement: A research artifact is publicly available on Zenodo at . It includes a pre-built Docker image of our prototype, provided as a command-line tool, the complete source code, and the benchmark suite used in our evaluation. The artifact also provides detailed, step-by-step instructions for reproducing the results reported in this paper, namely the automatically derived complexity bounds.In addition, the tool is released as open-source software and is hosted at , facilitating reuse, inspection, and adaptation for independent studies.
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
