invariant generation using non-linear constraint solving (0)

by M Colón, S Sankaranarayanan, H Linear Sipma
Venue:In CAV (2003