Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates.

Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang

Browse the full CAV paper archive.