Transition Invariants and Transition Predicate Abstraction for Program Termination
Abstract elided by the publisher.
Related papers
- Transition predicate abstraction and fair termination TOPLAS 2007
- Stratified Guarded First-Order Transition Systems SAS 2020
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction SAS 2018
- Transition predicate abstraction and fair termination POPL 2005
- Size-Change Termination and Transition Invariants SAS 2010
- Termination Analysis with Compositional Transition Invariants CAV 2010
- Transition Invariants Revisited: Termination Witnesses and Their Validation CAV 2026
- IC3 Modulo Theories via Implicit Predicate Abstraction TACAS 2014