A SAT-Based Approach to Size Change Termination with Global Ranking Functions
Abstract elided by the publisher.
Related papers
- Size-Change Termination, Monotonicity Constraints and Ranking Functions CAV 2009
- Ranking functions for size-change termination TOPLAS 2009
- PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution) TACAS 2025
- Synthesis of ranking functions using extremal counterexamples PLDI 2015
- Size-change termination with difference constraints TOPLAS 2008
- The size-change principle for program termination POPL 2001
- Policy Iteration-Based Conditional Termination and Ranking Functions VMCAI 2014
- Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search ESOP 2026