A Transformational Approach for Generating Non-linear Invariants
No abstract available.
Related papers
- Linear Invariant Generation Using Non-linear Constraint Solving CAV 2003
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010
- Non-linear loop invariant generation using Gröbner bases POPL 2004
- Non-linear reasoning for invariant synthesis POPL 2018
- An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants SAS 2024
- Scalable linear invariant generation with Farkas' lemma OOPSLA 2022
- Polynomial invariant generation for non-deterministic recursive programs PLDI 2020
- Side-channel Elimination via Partial Control-flow Linearization TOPLAS 2023