Publications
Property Directed Equivalence via Abstract Simulation,
, CAV 2016, (2016)
Automated Discovery of Simulation Between Programs,
, LPAR, (2015)
Incremental Verification of Compiler Optimizations,
, NASA Formal Methods (NFM), Houston, Texas, USA, (2014)
Interpolation Properties and SAT-based Model Checking,
, 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), (2013)