16 search results - page 4 / 4 » ProbVerus: Probabilistic Symbolic Model Checking |
125
click to vote
QEST
2007
IEEE
15 years 9 months 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 ...