Non-linear loop invariant generation using Gröbner bases (2004)

by S Sankaranarayanan, H B Sipma, Z Manna
Venue:Proc. of POPL 2004