HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Thomas Wahl

Publications
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

Keyphrases

Craig interpolation, Presburger arithmetic, software model checking, Theory of Arrays.

Copyright © 2012-2025 easychair.org. All rights reserved.