Predicate abstraction of ANSI–C programs using (2004)

by E M Clarke, D Kroening, N Sharygina, K Yorav
Venue:SAT. Formal Methods in System Design (FMSD), 25:105–127, September–November