Symmetric spin

D. Bosnacki; D.R. Dams; L. Holenderski

doi:10.1007/s100090200074

Symmetric spin

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

Research output: Contribution to journal › Article › Academic › peer-review

54 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 language	English
Pages (from-to)	92-106
Number of pages	15
Journal	International Journal on Software Tools for Technology Transfer
Volume	4
Issue number	1
DOIs	https://doi.org/10.1007/s100090200074
Publication status	Published - 2002

Access to Document

10.1007/s100090200074

Cite this

@article{f35bc237fa6e444fbdb7e2bd40ce455d,

title = "Symmetric spin",

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{\textquoteright}s input language Promela.",

author = "D. Bosnacki and D.R. Dams and L. Holenderski",

year = "2002",

doi = "10.1007/s100090200074",

language = "English",

volume = "4",

pages = "92--106",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Symmetric spin

AU - Bosnacki, D.

AU - Dams, D.R.

AU - Holenderski, L.

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

U2 - 10.1007/s100090200074

DO - 10.1007/s100090200074

M3 - Article

SN - 1433-2779

VL - 4

SP - 92

EP - 106

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 1

ER -

Symmetric spin

Abstract

Access to Document

Fingerprint

Cite this