Predicate abstraction of ANSI-C programs using SAT
scientific article; zbMATH DE number 2117713