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


Download Links

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

Active Bibliography

29 Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations – 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
36 Constructing Invariants for Hybrid Systems – Sriram Sankaranarayanan, Henny Sipma, Zohar Manna - 2004
9 Generation of basic semi-algebraic invariants using convex polyhedra – Roberto Bagnara, Enric Rodríguez-carbonell, Enea Zaffanella
31 Path invariants – Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko - 2007
10 Large Experimental Program Verification in the Theorema System – Tudor Jebelean, Laura Kovács, Nikolaj Popov - 2004
41 Non-linear Loop Invariant Generation using Gröbner Bases – Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna - 2004
Probabilistic Program Analysis with Martingales – Ar Chakarov, Sriram Sankaranarayanan
Change-Of-Bases Abstractions for Non-Linear Systems. – Sriram Sankaranarayanan - 2012
1 Automatic Verification of Loop Invariants – Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
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
4 Simplifying loop invariant generation using splitter predicates – Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken - 2011
ACM Workshop on Strategic Directions in Computing Research – Mit Laboratory, Patrick Cousot
3 Program Analysis Position Statement: The Abstract Interpretation Perspective – P. Cousot - 1996
Intraprocedural Analysis and the Verification of Concurrent Programs – Akash Lal - 2009