TopSpin
From MaRDI portal
Software:13716
swMATH972MaRDI QIDQ13716FDOQ13716
Author name not available (Why is that?)
Cited In (11)
- Title not available (Why is that?)
- Efficient Approximate Verification of Promela Models Via Symmetry Markers
- Symmetry and partial order reduction techniques in model checking Rebeca
- Context-aware counter abstraction
- A lazy approach to symmetry reduction
- On the constructive orbit problem
- Efficient approximate verification of B and Z models via symmetry markers
- Disjoint direct product decompositions of permutation groups
- Automatic symmetry detection for Promela
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation
- Vector Symmetry Reduction
This page was built for software: TopSpin
