33 search results - page 5 / 7 » Symmetry Reduction for Probabilistic Model Checking |
135
Voted
QEST
2010
IEEE
15 years 14 days ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
169
Voted
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
129
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
139
Voted
ENTCS
2006
15 years 2 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
116
Voted
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...