Loop Summarization and Termination Analysis

TitleLoop Summarization and Termination Analysis
Publication TypeConference Paper
Year of Publication2011
AuthorsTsitovich, Aliaksei, Sharygina Natasha, Wintersteiger Christoph M., and Kroening Daniel
Conference NameInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
PublisherSpringer
Conference LocationSaarbrü Germany
URLhttp://dx.doi.org/10.1007/978-3-642-19835-9_9
Full Text