A Complete Method for the Synthesis of Linear Ranking Functions
No abstract available.
Related papers
- Synthesis of ranking functions using extremal counterexamples PLDI 2015
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- On Multiphase-Linear Ranking Functions CAV 2017
- Termination Analysis of Probabilistic Programs Through Positivstellensatz's CAV 2016
- Synthesis of Linear Ranking Functions TACAS 2001
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Non-polynomial Worst-Case Analysis of Recursive Programs TOPLAS 2019
- Non-polynomial Worst-Case Analysis of Recursive Programs CAV 2017