Loop Summarization and Termination Analysis
Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, and Daniel Kroening
2011
In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publisher Springer Verlag
Details
| Type | Inproceedings |
| URL | http://www.springerlink.com/content/a35338128w549779/ |
| Pages | 81-95 |
| Volume | 6605 |
| Series | LNCS |
Related People
Share
