Symmetric Spin

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)

Abstract

We 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.
Original languageEnglish
Title of host publicationSPIN model checking and software verification : 7th international SPIN workshop, Stanford CA, USA, August 30-September 1, 2000 : proceedings
EditorsK. Havelund, J. Penix, W. Visser
Place of PublicationBerlin
PublisherSpringer
Pages1-19
ISBN (Print)3-540-41030-9
DOIs
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
Volume1885
ISSN (Print)0302-9743

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

  • Cite this

    Bosnacki, D., Dams, D. R., & Holenderski, L. (2000). Symmetric Spin. In K. Havelund, J. Penix, & W. Visser (Eds.), SPIN model checking and software verification : 7th international SPIN workshop, Stanford CA, USA, August 30-September 1, 2000 : proceedings (pp. 1-19). (Lecture Notes in Computer Science; Vol. 1885). Berlin: Springer. https://doi.org/10.1007/10722468_1