The following pages link to FM 2005: Formal Methods (Q5716898):
Displayed 9 items.
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- A lazy approach to symmetry reduction (Q613132) (← 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)
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- On the constructive orbit problem (Q976988) (← links)
- Automatic symmetry detection for Promela (Q1040774) (← links)
- Vector Symmetry Reduction (Q5178970) (← links)
- Model and program repair via group actions (Q6091216) (← links)