On the Linear Ranking Problem for Simple Floating-Point Loops
Abstract elided by the publisher.
Related papers
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Model Checking Linear Dynamical Systems under Floating-point Rounding TACAS 2023
- On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure CAV 2009
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis SAS 2020
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets SAS 2019
- On Multiphase-Linear Ranking Functions CAV 2017