440 search results - page 1 / 88 » Predicate Abstraction with Indexed Predicates |
CORR
2004
Springer
13 years 4 months ago
2004
Springer
CAV
2004
Springer
13 years 8 months 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
13 years 8 months ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
CHARME
2003
Springer
13 years 10 months ago
2003
Springer
