Angelic Verification: Precise Verification Modulo Unknowns.

Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li

Browse the full CAV paper archive.