33 search results - page 2 / 7 » Symmetry Reduction for Probabilistic Model Checking |
AMAST
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
ENTCS
2007
13 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
ASM
2010
ASM
13 years 10 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
CHARME
2003
Springer
14 years 4 days ago
2003
Springer
