Document is current
Any future updates will be listed below
-
Authors
Sølvsten, Steffan Christ https://orcid.org/0000-0003-0963-6569
Rysgaard, Casper Moldrup https://orcid.org/0000-0002-3989-123X
Van de Pol, Jaco https://orcid.org/0000-0003-4305-0625
- License Information
-
More Information
Chapter History
First Online: 13 October 2024
Data Availability Statement
: The data presented in Sect. is available at [] while the code to run the benchmarks can be found at [].
Conference Information
Conference Acronym: SPIN
Conference Name: International Symposium on Model Checking Software
Conference City: Luxembourg City
Conference Country: Luxembourg
Conference Year: 2024
Conference Start Date: 10 April 2024
Conference End Date: 11 April 2024
Conference Number: 30
Conference ID: spin2024
Conference URL: https://spin-web.github.io/SPIN2024/
