Termination analysis with compositional transition invariants. (2010)

by D Kroening, N Sharygina, A Tsitovich, C M Wintersteiger
Venue:In Computer Aided Verification (CAV),