PAPERS

Title:Under-Approximating Loops in C Programs for Fast Counterexample Detection
Links:Homepage
Document as PDF
Authors:Daniel Kroening EMail
Matt Lewis
Georg Weissenbacher
Remarks:
Topics:

Bibtex:

@article{klw2015-fmsd,
  AUTHOR    = { Kroening, Daniel
                and Lewis, Matt
                and Weissenbacher, Georg },
  TITLE     = { Under-Approximating Loops in {C} Programs for Fast Counterexample Detection },
  YEAR      = { 2015 },
  PAGES     = { 75--92 },
  JOURNAL   = { Formal Methods in System Design (FMSD) },
  VOLUME    = { 47 },
  NUMBER    = { 1 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.