HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Craig interpolation

Publications
Function Summarization Modulo Theories
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler
In:LPAR-22. 22nd 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.