Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

First Page		Document Content
Date: 2013-06-17 11:22:26		Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2 Add to Reading List Source URL: www.georg.weissenbacher.science Download Document from Source Website File Size: 419,04 KB Share Document on Facebook