Document is current
Any future updates will be listed below
-
Authors
Pertseva, Elizaveta https://orcid.org/0000-0001-9950-672X
Ozdemir, Alex https://orcid.org/0000-0002-0181-6752
Pailoor, Shankara https://orcid.org/0000-0002-9253-9585
Bassa, Alp https://orcid.org/0000-0002-9685-7361
Porncharoenwase, Sorawee https://orcid.org/0000-0003-3900-5602
Dillig, Işil https://orcid.org/0000-0001-8006-1230
Barrett, Clark https://orcid.org/0000-0002-9522-3084
- License Information
-
More Information
Chapter History
First Online: 22 July 2025
Disclosure of Interests
: Shankara Pailoor, Alp Bassa, and Isil Dillig are employed at Veridise. Alex Ozdemir and Sorawee Porncharoenwase previously worked at Veridise. Sorawee Porncharoenwase is currently employed at Amazon Web Services (AWS). Clark Barrett is an Amazon Scholar.
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/
