Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations (2004)

by Enric Rodríguez-carbonell , Deepak Kapur
Venue:In International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC04
Citations:29 - 4 self

Active Bibliography

15 An abstract interpretation approach for automatic generation of polynomial invariants – Enric Rodríguez-carbonell, Deepak Kapur - 2004
27 Automatically generating loop invariants using quantifier elimination – Deepak Kapur - 2005
1 Generating Polynomial Invariants with DISCOVERER and QEPCAD ⋆ Dedicated to Prof. Chaochen Zhou on his 70th Birthday – Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
1 Automatic Verification of Loop Invariants – Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
36 Constructing Invariants for Hybrid Systems – Sriram Sankaranarayanan, Henny Sipma, Zohar Manna - 2004
7 Reasoning Algebraically About P-Solvable Loops – Laura Kovács - 2008
48 Automatic Generation of Invariants and Intermediate Assertions – Nikolaj Bjørner, Anca Browne, Zohar Manna - 1995
31 Path invariants – Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko - 2007
41 Non-linear Loop Invariant Generation using Gröbner Bases – Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - 2004
9 Generation of basic semi-algebraic invariants using convex polyhedra – Roberto Bagnara, Enric Rodríguez-carbonell, Enea Zaffanella
7 Using Dynamic Analysis to Discover Polynomial and Array Invariants – Thanhvu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
8 Combining Logic and Algebraic Techniques for Program Verification in Theorema – Laura Kovács, Nikolaj Popov, Tudor Jebelean - 2007
91 Dynamically Discovering Likely Program Invariants – Michael D. Ernst - 2000
544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
31 Verification of Java Programs using Symbolic Execution and Invariant Generation – Corina S. Pasareanu, Willem Visser - 2004
4 A.V.: A data driven approach for algebraic loop invariants – Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori - 2012
1 Verification as Learning Geometric Concepts – Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori
3 Using ellipsoidal domains to analyze control systems software – O Alegre, Eric Feron, Santosh P
35 Symbolic Program Analysis and Optimization for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1992