An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.

Enric Rodrguez-Carbonell, Deepak Kapur

Browse the full SAS paper archive.