| Title: | Loop Summarization using State and Transition Invariants |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Daniel Kroening EMail |
| Natasha Sharygina | |
| Stefano Tonetta | |
| Aliaksei Tsitovich | |
| Christoph M. Wintersteiger | |
| Remarks: | |
| Topics: |
Bibtex:
@article{ksttw2012-fmsd,
AUTHOR = { Kroening, Daniel
and Sharygina, Natasha
and Tonetta, Stefano
and Tsitovich, Aliaksei
and Wintersteiger, Christoph M. },
TITLE = { Loop Summarization using State and Transition Invariants },
YEAR = { 2013 },
PUBLISHER = { Springer },
PAGES = { 221--261 },
JOURNAL = { Formal Methods in System Design (FMSD) },
VOLUME = { 42 },
NUMBER = { 3 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.