Symmetric Spin

DOI10.1007/10722468_1MaRDI QIDQ2753747zbMATH OpenFDO

Authors Dragan Bošnački, Dennis Dams, Leszek Holenderski

Publication date 6 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722468_1

zbMATH Keywords

model checkingsymmetry-reduction package for SpinSymmSpin

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Vector symmetry reduction
• \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models
• A heuristic for symmetry reductions with scalarsets
• Adaptive Symmetry Reduction
• Symmetry reduction criteria for software model checking

Cited in

(5)

• SymmSpin
• View abstraction for systems with component identities
• A heuristic for symmetry reductions with scalarsets
• \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models
• State Isomorphism in Model Programs with Abstract Data Structures

This page was built for publication: Symmetric Spin

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753747)