Loop Summarization and Termination Analysis
Additional information
Authors
Tsitovich A.,
Sharygina N.,
Wintersteiger C. M.,
Kröning D.
Type
Article in conference proceedings
Year
2011
Language
English
Conference proceedings
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publisher
Springer
Meeting place
Saarbrü Germany
Pages (or article number)
81-95
