Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost

Download PDF
Open Webpage

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

Published: 2020, Last Modified: 03 Oct 2025FMCAD 2020EveryoneRevisionsBibTeXCC BY-SA 4.0