The following pages link to TopSpin (Q13716):
Displaying 11 items.
- Context-aware counter abstraction (Q600978) (← links)
- A lazy approach to symmetry reduction (Q613132) (← links)
- Efficient approximate verification of B and Z models via symmetry markers (Q622591) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- On the constructive orbit problem (Q976988) (← links)
- Automatic symmetry detection for Promela (Q1040774) (← links)
- Disjoint direct product decompositions of permutation groups (Q2048148) (← links)
- Efficient Approximate Verification of Promela Models Via Symmetry Markers (Q3510803) (← links)
- (Q3624143) (← links)
- Vector Symmetry Reduction (Q5178970) (← links)
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation (Q5178995) (← links)
