Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
Shuvendu K. LahiriAkash LalSridhar GopinathAlexander NutzVladimir LevinRahul KumarNate DeisingerJakob LichtenbergChetan BansalPublished in: FMCAD (2020)