HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:software model checking

Publications
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
Copyright © 2012-2025 easychair.org. All rights reserved.