Under-Approximating Loops in C Programs for Fast Counterexample Detection (bibtex)
by Daniel Kroening, Matt Lewis, Georg Weissenbacher
Reference:
Under-Approximating Loops in C Programs for Fast Counterexample DetectionDaniel Kroening, Matt Lewis, Georg WeissenbacherChapter in Computer Aided Verification (Natasha Sharygina, Helmut Veith, eds.), volume 8044 of Lecture Notes in Computer Science, pages 381-396, 2013, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{KLW13,
 year={2013},
 booktitle={Computer Aided Verification},
 volume={8044},
 series={Lecture Notes in Computer Science},
 editor={Sharygina, Natasha and Veith, Helmut},
 doi={10.1007/978-3-642-39799-8_26},
 title={Under-Approximating Loops in {C} Programs for Fast Counterexample Detection},
 publisher={Springer Berlin Heidelberg},
 author={Kroening, Daniel and Lewis, Matt and Weissenbacher, Georg},
 pages={381-396}
}
Powered by bibtexbrowser