440 search results - page 1 / 88 » Predicate Abstraction with Indexed Predicates |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
CAV
2004
Springer
14 years 8 days ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
CAV
2003
Springer
14 years 5 days ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
