Extending Symmetry Reduction Techniques to a Realistic Model of Computation

DOI10.1016/j.entcs.2007.05.029zbMath1335.68135OpenAlexW2148371997MaRDI QIDQ5178995

Alastair F. Donaldson, Alice Ann Miller

Publication date: 18 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.029

zbMATH Keywords

symmetrydistributed systemsmodel checkingconcurrencySpincomputational group theoryPromelaGap

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (1)

Vector Symmetry Reduction

Uses Software

• GAP
• TopSpin
• SPIN
• SymmSpin

Cites Work

• Unnamed Item
• Unnamed Item
• Fundamental algorithms for permutation groups
• Finding the smallest image of a set
• Tools and Algorithms for the Construction and Analysis of Systems
• The Number of Partitions of a Set

This page was built for publication: Extending Symmetry Reduction Techniques to a Realistic Model of Computation