Predicate Abstraction of ANSI-C Programs Using SAT. - Clarke, E; Kroening, D; Sharygina, N; Yorav, K (Formal Methods in System Design, 2004)