Size-Change Termination and Transition Invariants
Abstract elided by the publisher.
Related papers
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction SAS 2018
- Size-change termination with difference constraints TOPLAS 2008
- Transition Invariants and Transition Predicate Abstraction for Program Termination TACAS 2011
- Termination Analysis with Compositional Transition Invariants CAV 2010
- Transition Invariants Revisited: Termination Witnesses and Their Validation CAV 2026
- Affine-Based Size-Change Termination APLAS 2003
- Büchi Complementation and Size-Change Termination TACAS 2009
- Size-Change Termination, Monotonicity Constraints and Ranking Functions CAV 2009