Termination Proofs for Linear Simple Loops
Abstract elided by the publisher.
Related papers
- On the Termination of Integer Loops TOPLAS 2012
- Reflections on Termination of Linear Loops CAV 2021
- Learning Probabilistic Termination Proofs CAV 2021
- Closed forms for numerical loops POPL 2019
- 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
- Proving Lock-Freedom Easily and Automatically CPP 2015