- 40 Downloads
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.
Unable to display preview. Download preview PDF.