The following pages link to SymmSpin (Q19544):
Displaying 14 items.
- Context-aware counter abstraction (Q600978) (← 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)
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← links)
- Space-reduction strategies for model checking dynamic software (Q2845504) (← links)
- State Isomorphism in Model Programs with Abstract Data Structures (Q3614845) (← links)
- Vector Symmetry Reduction (Q5178970) (← links)
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation (Q5178995) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)
- Computer Aided Verification (Q5716547) (← links)
- FM 2005: Formal Methods (Q5716898) (← links)
- Model Checking Software (Q5899046) (← links)