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,
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-39799-8_26},
title = {Under-Approximating Loops in {C} Programs for Fast Counterexample
Detection},
url = {/pubpdf/Under-Approximating_Loops_in__C__Programs_for_Fast_Counterexample_Detection.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Computer Aided Verification},
author = {Kroening, Daniel and Lewis, Matt and Weissenbacher, Georg},
volume = {8044},
editor = {Sharygina, Natasha and Veith, Helmut},
year = {2013},
pages = {381-396},
}
Powered by bibtexbrowser