Transition Invariants Revisited: Termination Witnesses and Their Validation.

Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld

Browse the full CAV paper archive.