Publications
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization,
, Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)
Flexible Interpolation for Efficient Model Checking,
, MEMICS 2016, (2016)
Function Summaries in Software Upgrade Checking,
, Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)
A Flexible Schema for Generating Explanations in Lazy Theory Propagation,
, International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, (2010)
Flexible Interpolation with Local Proof Transformations,
, International Conference of Computer Aided Design (ICCAD), San Jose, USA, (2010)
Function Summarization Modulo Theories,
, 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)
Farkas-Based Tree Interpolation,
, SAS 2020 - 27th Static Analysis Symposium, Online Conference, (2020)