Augmenting Interpolation-Based Model Checking with Auxiliary Invariants
Part Of
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Start Page
227
End Page
247
ISSN
0302-9743
1611-3349
ISBN
9783031661488
9783031661495
Date Issued
2024-10-13
Author(s)
Event(s)
30th International Symposium on Model Checking Software, SPIN 2024
Publisher
Springer Nature Switzerland
Type
conference paper