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 WeissenbacherFormal Methods in Systems Design (FMSD), April 2015, Springer.
Bibtex Entry:
@article{KLW15:FMSD,
  author    = {Daniel Kroening and Matt Lewis and Georg Weissenbacher},
  title     = {Under-approximating loops in C programs for fast counterexample detection},
  journal   = {Formal Methods in Systems Design (FMSD)},
  year      = {2015},
  month     = {April},
  doi       = {10.1007/s10703-015-0228-1},
  url       = {http://dx.doi.org/10.1007/s10703-015-0228-1},
  publisher = {Springer},
}
Powered by bibtexbrowser