| 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.