Loop Summarization and Termination Analysis.

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

Browse the full TACAS paper archive.