Add to ORKGWe give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four strategies for state-space reduction, based on the heuristic that we presented in [3], and a fifth mode for reference. A series of new experiments is described, underlining the effectiveness of the heuristic and demonstrating the generalisation of the implementation to multiple scalar sets, multiple process families, as well as almost the full Promela language
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...
Previous research into symmetry reduction techniques have shown them to be successful in combatting ...
We give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four st...
We give a detailed description of SymmSpin, a prototype implementation of a symmetry-reduction packa...
Abstract. Symmetry reduced model checking is hindered by two prob-lems: how to identify state space ...
AbstractSymmetry reduction is an effective state-space reduction technique for model checking, and w...
We provide two examples of Promela models of concurrent, distributed systems, whose associated Kripk...
AbstractWe provide two examples of Promela models of concurrent, distributed systems, whose associat...
Abstract. We present a new verification technique for Promela which exploits state-space symmetries ...
We present a survey of our recent work on symmetry reduction techniques for explicit-state model che...
We present a new verification technique for Promela which exploits state-space symmetries induced by...
Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry wh...
International audience— We present a method of exploiting symmetries of discrete-time optimal contro...
Heitmann T, Schnack J. Combined use of translational and spin-rotational invariance for spin systems...
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...
Previous research into symmetry reduction techniques have shown them to be successful in combatting ...
We give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four st...
We give a detailed description of SymmSpin, a prototype implementation of a symmetry-reduction packa...
Abstract. Symmetry reduced model checking is hindered by two prob-lems: how to identify state space ...
AbstractSymmetry reduction is an effective state-space reduction technique for model checking, and w...
We provide two examples of Promela models of concurrent, distributed systems, whose associated Kripk...
AbstractWe provide two examples of Promela models of concurrent, distributed systems, whose associat...
Abstract. We present a new verification technique for Promela which exploits state-space symmetries ...
We present a survey of our recent work on symmetry reduction techniques for explicit-state model che...
We present a new verification technique for Promela which exploits state-space symmetries induced by...
Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry wh...
International audience— We present a method of exploiting symmetries of discrete-time optimal contro...
Heitmann T, Schnack J. Combined use of translational and spin-rotational invariance for spin systems...
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...
Previous research into symmetry reduction techniques have shown them to be successful in combatting ...