SymmSpin
From MaRDI portal
Cited in
(28)- Automatic symmetry detection for Promela
- TopSpin
- TinyOS
- Helena
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Bogor
- B4Free
- Z2sal
- Spin-to-Grape
- PROMELA
- ETCH
- SymmExtractor
- Viptos
- SNAKES
- dSPIN
- VIP
- Space-reduction strategies for model checking dynamic software
- State Isomorphism in Model Programs with Abstract Data Structures
- Vector symmetry reduction
- Extending symmetry reduction techniques to a realistic model of computation
- Towards Efficient Verification of Systems with Dynamic Process Creation
- Computer Aided Verification
- FM 2005: Formal Methods
- Model Checking Software
- Context-aware counter abstraction
- 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: SymmSpin
