Symmetric spin

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

Research output: Contribution to journalArticleAcademicpeer-review

51 Citations (Scopus)

Abstract

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
Volume4
Issue number1
DOIs
Publication statusPublished - 2002

Fingerprint

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

Cite this