Verification and falsification of programs with loops using predicate abstraction
scientific article; zbMATH DE number 5703854
scientific article