395 search results - page 1 / 79 » Predicate Abstraction with Minimum Predicates |
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
101
Voted
CAV
2003
Springer
15 years 6 months ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
128
click to vote
ENTCS
2008
15 years 3 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...
CORR
2004
Springer
15 years 2 months ago
2004
Springer
