HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Daniel Kroening

Publications
SC-square: when Satisfiability Checking and Symbolic Computation join forces
Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Loopfrog — loop summarization for static analysis
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich and Christoph M. Wintersteiger
In:WING 2010. Workshop on Invariant Generation 2010
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

automated reasoning, computer algebra, Craig interpolation, loop invariants, loop summarization, Loopfrog, Presburger arithmetic, satisfiability checking, software model checking, static analysis, symbolic computation, Theory of Arrays.

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