| Title: | Loop Summarization and Termination Analysis |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Aliaksei Tsitovich |
| Natasha Sharygina | |
| Christoph M. Wintersteiger | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{twks2011-tacas,
AUTHOR = { Tsitovich, Aliaksei
and Sharygina, Natasha
and Wintersteiger, Christoph M.
and Kroening, Daniel },
TITLE = { Loop Summarization and Termination Analysis },
BOOKTITLE = { Proceedings of TACAS },
YEAR = { 2011 },
PUBLISHER = { Springer },
PAGES = { 81--95 },
SERIES = { LNCS },
VOLUME = { 6605 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.