SymmSpin
From MaRDI portal
Software:19544
swMATH7517MaRDI QIDQ19544FDOQ19544
Author name not available (Why is that?)
Cited In (14)
- Computer Aided Verification
- Space-reduction strategies for model checking dynamic software
- Symmetry and partial order reduction techniques in model checking Rebeca
- Towards Efficient Verification of Systems with Dynamic Process Creation
- Context-aware counter abstraction
- FM 2005: Formal Methods
- On the constructive orbit problem
- Efficient approximate verification of B and Z models via symmetry markers
- Automatic symmetry detection for Promela
- Model Checking Software
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation
- State Isomorphism in Model Programs with Abstract Data Structures
- Vector Symmetry Reduction
This page was built for software: SymmSpin
