Property Directed Equivalence via Abstract Simulation

TitleProperty Directed Equivalence via Abstract Simulation
Publication TypeConference Proceedings
Year of Conference2016
AuthorsFedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha
Conference NameCAV 2016
Full Text