Property Directed Equivalence via Abstract Simulation
Additional information
Authors
Sharygina N.,
Fedyukovich G.,
Gurfinkel A.
Type
Article in conference proceedings
Year
2016
Language
English
Meeting name
28th CAV 2016
Meeting place
Toronto, ON, Canada
Meeting date
July 17-23, 2016
