Linear invariant generation using non-linear constraint solving. (2003)

by M Colon, S Sankaranarayanan, H Sipma
Venue:In CAV,