Sciweavers

62
Voted
CAV
2003
Springer
106views Hardware» more  CAV 2003»
15 years 1 months ago
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
Edmund M. Clarke, Orna Grumberg, Muralidhar Talupu...