Iterative Abstraction using SAT-Based BMC with Proof Analysis
- Aarti Gupta
- , Malay Ganai
- , Zijiang Yang
- , Pranav Ashar
Research output: Contribution to journal › Conference article › peer-review
63
Link opens in a new tab
Scopus
citations