TopSpin
From MaRDI portal
Cited in
(20)- Automatic symmetry detection for Promela
- TinyOS
- B4Free
- Z2sal
- Spin-to-Grape
- SymmSpin
- PROMELA
- ETCH
- SymmExtractor
- Disjoint direct product decompositions of permutation groups
- Efficient Approximate Verification of Promela Models Via Symmetry Markers
- A general theory of additive state space abstractions
- TransGrp
- Vector symmetry reduction
- Extending symmetry reduction techniques to a realistic model of computation
- Context-aware counter abstraction
- A lazy approach to symmetry reduction
- Efficient approximate verification of B and Z models via symmetry markers
- Symmetry and partial order reduction techniques in model checking Rebeca
- On the constructive orbit problem
This page was built for software: TopSpin
