TopSpin
From MaRDI portal
Software:13716
No author found.
Related Items (11)
Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Context-aware counter abstraction ⋮ A lazy approach to symmetry reduction ⋮ Efficient approximate verification of B and Z models via symmetry markers ⋮ Efficient Approximate Verification of Promela Models Via Symmetry Markers ⋮ Unnamed Item ⋮ Vector Symmetry Reduction ⋮ Extending Symmetry Reduction Techniques to a Realistic Model of Computation ⋮ On the constructive orbit problem ⋮ Disjoint direct product decompositions of permutation groups ⋮ Automatic symmetry detection for Promela
This page was built for software: TopSpin
