Title | Property Directed Equivalence via Abstract Simulation |
Publication Type | Conference Proceedings |
Year of Conference | 2016 |
Authors | Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha |
Conference Name | CAV 2016 |
Full Text |
Title | Property Directed Equivalence via Abstract Simulation |
Publication Type | Conference Proceedings |
Year of Conference | 2016 |
Authors | Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha |
Conference Name | CAV 2016 |
Full Text |