Termination Analysis with Compositional Transition Invariants
Abstract elided by the publisher.
Related papers
- Trace-Based Program Analysis POPL 1996
- Transition Invariants and Transition Predicate Abstraction for Program Termination TACAS 2011
- Size-Change Termination and Transition Invariants SAS 2010
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction SAS 2018
- Transition Invariants Revisited: Termination Witnesses and Their Validation CAV 2026
- Reflections on Termination of Linear Loops CAV 2021
- Compositional optimizations for CertiCoq ICFP 2021
- Compositional Termination Analysis of Symbolic Forward Analysis VMCAI 2002