Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Published in Formal Methods in Computer-Aided Design (FMCAD), 2020
Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, and Chetan Bansal
[Awarded FMCAD Best Paper award] | Paper | Video | Code