Cited in
(11)- Symmetry and partial order reduction techniques in model checking Rebeca
- A template-based approach for the generation of abstractable and reducible models of featured networks
- TopSpin
- TinyOS
- B4Free
- Z2sal
- SymmSpin
- Viptos
- On the constructive orbit problem
- Efficient approximate verification of B and Z models via symmetry markers
- Finding symmetry in models of concurrent systems by static channel diagram analysis
This page was built for software: Spin-to-Grape