Linear Invariant Generation Using Non-linear Constraint Solving
No abstract available.
Related papers
- Non-linear loop invariant generation using Gröbner bases POPL 2004
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints CAV 1997
- Scalable linear invariant generation with Farkas' lemma OOPSLA 2022
- Non-linear reasoning for invariant synthesis POPL 2018
- Templates and recurrences: better together PLDI 2020
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation CAV 2015
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010
- A Transformational Approach for Generating Non-linear Invariants SAS 2000