Property Directed Equivalence via Abstract Simulation.

Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina

Browse the full CAV paper archive.