Loop Summarization and Termination Analysis

Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, and Daniel Kroening

Details

Publication typeInproceedings
Published inProceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
URLhttp://www.springerlink.com/content/a35338128w549779/
Pages81-95
Volume6605
SeriesLNCS
PublisherSpringer Verlag
> Publications > Loop Summarization and Termination Analysis