1116 search results - page 10 / 224 » Applying Predicate Abstraction to Abstract State Machines |
51
Voted
JUCS
2008
15 years 19 days ago
2008
67
Voted
CORR
1998
Springer
15 years 10 days ago
1998
Springer
110
click to vote
ENTCS
2008
15 years 22 days 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...
112
Voted
CAV
2004
Springer
15 years 4 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...
84
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer