3 search results - page 1 / 1 » Games-Based Model Checking of Protocols: counting doesn't co... |
143
Voted
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
161
Voted
RV
2007
Springer
16 years 14 days ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
162
Voted
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...