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

by Michael A. Colón , Sriram Sankaranarayanan , Henny B. Sipma
Venue:IN COMPUTER AIDED VERIFICATION
Citations:64 - 12 self