Inference of Polynomial Invariants for Imperative Programs: A Farewell to Grbner Bases.

David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner

Browse the full SAS paper archive.