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

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

Browse the full FMCAD paper archive.