Publications
PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification,
, Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)
Resolution Proof Transformation for Compression and Interpolation,
, CoRR, Volume July 2013, (2013)
Leveraging Interpolant Strength in Model Checking,
, 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)
An Efficient and Flexible Approach to Resolution Proof Reduction,
, Haifa Verification Conference (HVC), Haifa, Israel, (2010)