28 search results - page 3 / 6 » A lazy approach to symmetry reduction |
89
Voted
B
2007
Springer
15 years 5 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
121
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
ASM
2010
ASM
15 years 3 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...