An abstract interpretation approach for automatic generation of polynomial invariants (2004)

Cached

Download Links

by Enric Rodríguez-carbonell , Deepak Kapur
Venue:In 11th Static Analysis Symposium
Citations:15 - 4 self

Documents Related by Co-Citation

29 Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations – Enric Rodríguez-carbonell, Deepak Kapur - 2004
163 Affine Relationships among Variables of a Program – M Karr - 1976
41 Non-linear Loop Invariant Generation using Gröbner Bases – Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - 2004
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
573 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
22 A Note on Karr’s Algorithm – Markus Müller-olm, Helmut Seidl
24 Polynomial Constants are Decidable – Markus Müller-olm, Helmut Seidl - 2002
62 Precise Interprocedural Analysis through Linear Algebra – Markus Müller-Olm, Helmut Seidl - 2004
49 The synthesis of loop predicates – B Wegbreit - 1974
27 Automatically generating loop invariants using quantifier elimination – Deepak Kapur - 2005
15 Computing Polynomial Program Invariants – Markus Müller-Olm, Helmut Seidl - 2003
64 Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming – Patrick Cousot - 2005
7 Approximating the algebraic relational semantics of imperative programs – M Colón - 2004
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
39 A synthesizer of inductive assertions – S M German, B Wegbreit - 1975
82 Basic principles of mechanical theorem proving in elementary geometries – W-T Wu - 1986
181 Partial cylindrical algebraic decomposition for quantifier elimination – G E Collins, H Hong - 1991
105 REDLOG Computer Algebra Meets Computer Logic – Andreas Dolzmann, Thomas Sturm - 1996
64 Linear invariant generation using non-linear constraint solving – Michael A. Colón, Sriram Sankaranarayanan, Henny B. Sipma - 2003