Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers
Part Of
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Start Page
129
End Page
149
ISSN
0302-9743
1611-3349
ISBN
9783031572555
9783031572562
Date Issued
2024
Author(s)
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