Transition Invariants and Transition Predicate Abstraction for Program Termination.

Andreas Podelski, Andrey Rybalchenko

Browse the full TACAS paper archive.