- Referenced in 12 articles
- Automatic Symmetry Reduction for the SPIN Model Checker...
- Referenced in 712 articles
- Spin is a popular open-source software tool...
- Referenced in 21 articles
- Symmetric Spin We give a detailed description of...
- Referenced in 30 articles
- Outline for an operational semantics of PROMELA. PROMELA...