Linear Invariant Generation Using Non-linear Constraint Solving
Top Cited Papers
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Solving Numerical ConstraintsPublished by Elsevier ,2001
- Polyhedral Analysis for Synchronous LanguagesPublished by Springer Nature ,1999
- REDLOGACM SIGSAM Bulletin, 1997
- Quantifier Elimination for Real Algebra -- the Quadratic Case and BeyondApplicable Algebra in Engineering, Communication and Computing, 1997
- Double description method revisitedPublished by Springer Nature ,1996
- Algorithmic analysis of nonlinear hybrid systemsPublished by Springer Nature ,1995
- Partial Cylindrical Algebraic Decomposition for quantifier eliminationJournal of Symbolic Computation, 1991
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975