CPAchecker 2.3 with Strategy Selection
Part Of
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Start Page
359
End Page
364
ISSN
0302-9743
1611-3349
ISBN (of the container)
978-303157255-5
ISBN
9783031572555
9783031572562
Date Issued
2024
Author(s)
Daniel Baier
Dirk Beyer
Po-Chun Chien
Marek Jankola
Matthias Kettl
Thomas Lemberger
Marian Lingsch-Rosenfeld
Martin Spiessl
Henrik Wachowitz
Philipp Wendler
Event(s)
30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024
SDGs
Publisher
Springer Nature Switzerland
Type
conference paper