Sriram Sankaranarayanan, and Henny Sipma. Linear invariant generation using non-linear constraint solving (2003)

by Michael A Colón
Venue:In Computer Aided Verification (CAV), number 2725 in LNCS