Document is current
Any future updates will be listed below
-
Authors
Frohme, Markus https://orcid.org/0000-0001-6520-2410
Howar, Falk https://orcid.org/0000-0002-9524-4459
Steffen, Bernhard https://orcid.org/0000-0001-9619-1558
- License Information
-
More Information
Chapter History
First Online: 23 July 2025
Disclosure of Interests
: Markus Frohme is funded by Deutsche Forschungsgemeinschaft (DFG), Grant 528775176. The authors are directly involved with development and maintenance of the presented tool. The authors declare they have no financial interests.
Conference Information
Conference Acronym: CAV
Conference Name: International Conference on Computer Aided Verification
Conference City: Zagreb
Conference Country: Croatia
Conference Year: 2025
Conference Start Date: 21 July 2025
Conference End Date: 25 July 2025
Conference Number: 37
Conference ID: cav2025
Conference URL: https://conferences.i-cav.org/2025/
