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.