Publications
Export 2 results:
[ Author] Title Type Year Filters: First Letter Of Title is I and Author is Sery, O. [Clear All Filters]
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries,
, Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK, (2012)
Interpolation-based Function Summaries in Bounded Model Checking,
, Haifa Verification Conference (HVC), Haifa, Israel, (2011)