Symmetric spin

D. Bosnacki, D.R. Dams, L. Holenderski

Research output: Contribution to journalArticleAcademicpeer-review

53 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)92-106
Number of pages15
JournalInternational Journal on Software Tools for Technology Transfer
Issue number1
Publication statusPublished - 2002


Dive into the research topics of 'Symmetric spin'. Together they form a unique fingerprint.

Cite this