The following pages link to FM 2005: Formal Methods (Q5716898):
Displaying 12 items.
- Exploring structural symmetry automatically in symbolic trajectory evaluation (Q453494) (← links)
- 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)
- Finding symmetry in models of concurrent systems by static channel diagram analysis (Q2848420) (← links)
- \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models (Q2851072) (← links)
- Vector Symmetry Reduction (Q5178970) (← links)
- On automorphisms and fixing number of co-normal product of graphs (Q6669292) (← links)
