395 search results - page 1 / 79 » Predicate Abstraction with Minimum Predicates |
CHARME
2003
Springer
13 years 10 months ago
2003
Springer
CAV
2003
Springer
13 years 8 months ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
ENTCS
2008
13 years 4 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
CORR
2004
Springer
13 years 4 months ago
2004
Springer
