Symmetric Spin

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelSPIN model checking and software verification : 7th international SPIN workshop, Stanford CA, USA, August 30-September 1, 2000 : proceedings
RedacteurenK. Havelund, J. Penix, W. Visser
Plaats van productieBerlin
UitgeverijSpringer
Pagina's1-19
ISBN van geprinte versie3-540-41030-9
DOI's
StatusGepubliceerd - 2000

Publicatie series

NaamLecture Notes in Computer Science
Volume1885
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Symmetric Spin'. Samen vormen ze een unieke vingerafdruk.

Citeer dit