| Title: | Termination Analysis with Compositional Transition Invariants |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Daniel Kroening EMail |
| Natasha Sharygina | |
| Aliaksei Tsitovich | |
| Christoph Wintersteiger | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{kstw2010-cav,
AUTHOR = { Kroening, Daniel
and Sharygina, Natasha
and Tsitovich, Aliaksei
and Wintersteiger, Christoph },
TITLE = { Termination Analysis with Compositional Transition Invariants },
BOOKTITLE = { Proceedings of CAV },
YEAR = { 2010 },
PUBLISHER = { Springer },
PAGES = { 89--103 },
ISBN = { 978-3-642-14294-9 },
SERIES = { LNCS },
VOLUME = { 6174 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.