Publications
Export 8 results:
[ Author![(Asc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-asc.png)
Filters: First Letter Of Last Name is F [Clear All Filters]
Property Directed Equivalence via Abstract Simulation,
, CAV 2016, (2016)
Interpolation-based model checking for efficient incremental analysis of software,
, IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, (2013)
Automated Discovery of Simulation Between Programs,
, LPAR, (2015)
Function Summaries in Software Upgrade Checking,
, Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)
Symbolic Detection of Assertion Dependencies for Bounded Model Checking,
, 18th International Conference on Fundamental Approaches to Software Engineering (FASE), (2015)
eVolCheck: Incremental Upgrade Checker for C,
, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2013)
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection,
, Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)
Incremental Verification of Compiler Optimizations,
, NASA Formal Methods (NFM), Houston, Texas, USA, (2014)