Vector symmetry reduction

DOI10.1016/J.ENTCS.2009.08.014MaRDI QIDQ5178970zbMATH OpenOpenAlexFDO

Authors Alastair 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

Cell BEmodel checkingparallelismSIMD programmingsymmetry

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)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Extending symmetry reduction techniques to a realistic model of computation
• scientific article; zbMATH DE number 1796126
• scientific article; zbMATH DE number 2087620
• scientific article; zbMATH DE number 1487862

Cites work

• Correct Hardware Design and Verification Methods
• Extending symmetry reduction techniques to a realistic model of computation
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 5995471 (Why is no real title available?)
• scientific article; zbMATH DE number 1487862 (Why is no real title available?)
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(10)

• scientific article; zbMATH DE number 1670549 (Why is no real title available?)
• scientific article; zbMATH DE number 1693448 (Why is no real title available?)
• Symmetric Reductions
• scientific article; zbMATH DE number 1796126 (Why is no real title available?)
• On the symmetry properties of outer product reduction
• Extending symmetry reduction techniques to a realistic model of computation
• Vector reduction/transformation operators
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Modeling and Analysis of Timed Systems
• An adaptive prefix-assignment technique for symmetry reduction

Describes a project that uses

Uses Software

• TopSpin
• SPIN
• SymmSpin

This page was built for publication: Vector symmetry reduction

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