PAPERS

Title:Incremental Bounded Model Checking for Embedded Software
Links:Homepage
Document as PDF
Authors:Peter Schrammel
Daniel Kroening EMail
Martin Brain
Ruben Martins
Tino Teige
Tom Bienmüller
Remarks:
ISSN:0934-5043
Topics:

Bibtex:

@article{skbmtb2017,
  AUTHOR    = { Schrammel, Peter
                and Kroening, Daniel
                and Brain, Martin
                and Martins, Ruben
                and Teige, Tino
                and Bienm{\"u}ller, Tom },
  TITLE     = { Incremental Bounded Model Checking for Embedded Software },
  YEAR      = { 2017 },
  PAGES     = { 911--931 },
  JOURNAL   = { Formal Aspects of Computing },
  VOLUME    = { 29 },
  MONTH     = { September },
  NUMBER    = { 5 },
}

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