Vector Symmetry Reduction

DOI10.1016/j.entcs.2009.08.014zbMath1335.68134OpenAlexW1988357108MaRDI QIDQ5178970

Alastair F. Donaldson

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

zbMATH Keywords

symmetryparallelismmodel checkingCell BESIMD programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• TopSpin
• SPIN
• SymmSpin

Cites Work

• Unnamed Item
• Unnamed Item
• Extending Symmetry Reduction Techniques to a Realistic Model of Computation
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• FM 2005: Formal Methods
• Correct Hardware Design and Verification Methods

This page was built for publication: Vector Symmetry Reduction