Keyword:software model checking

Papers
Quantified Heap Invariants for Object-Oriented Programs Temesghen Kahsai, Rody Kersten, Philipp Rümmer and Martin Schäf In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl In:VERIFY-2010. 6th International Verification Workshop