Edmund M. Clarke Daniel Kroening Natasha Sharygina Karen Yorav Predicate Abstraction of ANSI-C Programs Using SAT. 105-127 2004 25 Formal Methods in System Design 2-3 http://www.springerlink.com/index/10.1023/B:FORM.0000040025.89719.f3 db/journals/fmsd/fmsd25.html#ClarkeKSY04