Termination Analysis with Compositional Transition Invariants.

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

Browse the full CAV paper archive.