Daniel Kroening

Papers

authors	title	volume	pages
Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl	Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays	VERIFY-2010. 6th International Verification Workshop	31-46
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich and Christoph M. Wintersteiger	Loopfrog — loop summarization for static analysis	WING 2010. Workshop on Invariant Generation 2010	130-131

#	keywords
1	Craig interpolation, loop invariants, loop summarization, loopfrog, Presburger arithmetic, software model checking, static analysis, theory of arrays