HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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