SATABS: SATbased predicate abstraction for ANSI-C. (2005)

by E Clarke, D Kroening, N Sharygina, K Yorav
Venue:In TACAS,