Predicate Abstraction of ANSI-C Programs Using SAT. (Formal Methods in System Design, 2004)

(untitled) - Clarke, E; Kroening, D; Sharygina, N; Yorav, K