We give a detailed description of SymmSpin, a prototype implementation of a symmetry-reduction package for the Spin model checker. It offers several heuristics for state-space reduction. A series of experiments is described, underlining the effectiveness of the heuristics and demonstrating the ability of the implementation to handle almost all of Spin’s input language Promela
AbstractMuch of the literature on symmetry reductions for model checking assumes a simple model of c...
Much of the literature on symmetry reductions for model checking assumes a simple model of computati...
The application of model checking is limited due to the state-space explosion problem – as the numbe...
We give a detailed description of SymmSpin, a prototype implementation of a symmetry-reduction packa...
We give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four st...
Abstract. Symmetry reduced model checking is hindered by two prob-lems: how to identify state space ...
We present a survey of our recent work on symmetry reduction techniques for explicit-state model che...
AbstractSymmetry reduction is an effective state-space reduction technique for model checking, and w...
Abstract. We present a new verification technique for Promela which exploits state-space symmetries ...
We present a new verification technique for Promela which exploits state-space symmetries induced by...
Abstract: One of the major limitations of model checking is that of state-space explosion. Symmetry ...
Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry wh...
One of the major limitations of model checking is that of state-space explosion. Symmetry reduction ...
Model checking is an established technique for checking the reliability of software-controlled syste...
International audienceSymmetry reduction techniques exploit symmetries that occur during the executi...
AbstractMuch of the literature on symmetry reductions for model checking assumes a simple model of c...
Much of the literature on symmetry reductions for model checking assumes a simple model of computati...
The application of model checking is limited due to the state-space explosion problem – as the numbe...
We give a detailed description of SymmSpin, a prototype implementation of a symmetry-reduction packa...
We give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four st...
Abstract. Symmetry reduced model checking is hindered by two prob-lems: how to identify state space ...
We present a survey of our recent work on symmetry reduction techniques for explicit-state model che...
AbstractSymmetry reduction is an effective state-space reduction technique for model checking, and w...
Abstract. We present a new verification technique for Promela which exploits state-space symmetries ...
We present a new verification technique for Promela which exploits state-space symmetries induced by...
Abstract: One of the major limitations of model checking is that of state-space explosion. Symmetry ...
Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry wh...
One of the major limitations of model checking is that of state-space explosion. Symmetry reduction ...
Model checking is an established technique for checking the reliability of software-controlled syste...
International audienceSymmetry reduction techniques exploit symmetries that occur during the executi...
AbstractMuch of the literature on symmetry reductions for model checking assumes a simple model of c...
Much of the literature on symmetry reductions for model checking assumes a simple model of computati...
The application of model checking is limited due to the state-space explosion problem – as the numbe...
DOI
Add to ORKG