A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
Journal
Proceedings of the ACM on Software Engineering
Journal Volume
1
Journal Issue
FSE
Start Page
2028
End Page
2050
ISSN
2994-970X
Date Issued
2024-07-12
Author(s)
Publisher
Association for Computing Machinery (ACM)
Type
journal article