Sciweavers

Share
10 search results - page 1 / 2
» On Combining Symmetry Reduction and Symbolic Representation ...
Sort
View
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
8 years 12 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
FMICS
2008
Springer
8 years 9 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
9 years 1 months ago
Dynamic Symmetry Reduction
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suļ¬€ered from the proh...
E. Allen Emerson, Thomas Wahl
CAV
2006
Springer
132views Hardware» more  CAV 2006»
8 years 12 months ago
Symmetry Reduction for Probabilistic Model Checking
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...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
books