Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates

15 years 16 days ago

redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke

Edmund M. Clarke, Orna Grumberg, Muralidhar Talupu

CAV 2003 | Hardware | Predicates Edmund Clarke½ | Redundant Predicates | Redundant Preduring Predicate |

claim paper

Added	23 Aug 2010
Updated	23 Aug 2010
Type	Conference
Year	2003
Where	CAV
Authors	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang

Comments (0)