Ranking Templates for Linear Loops
No abstract available.
Related papers
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- On the Linear Ranking Problem for Simple Floating-Point Loops SAS 2016
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- On Multiphase-Linear Ranking Functions CAV 2017
- Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets SAS 2019
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Templates and recurrences: better together PLDI 2020
- Synthesis of ranking functions using extremal counterexamples PLDI 2015