Symmetric spin, International Journal on Software Tools for Technology Transfer, vol.4, issue.1, pp.65-80, 2002. ,
Fundamental Algorithms for Permutation Groups, LNCS, vol.559, 1991. ,
DOI : 10.1007/3-540-54955-2
Generalising feature interactions in email, FIW'03, pp.187-204, 2003. ,
Symmetry reductions in model checking, CAV'98, pp.147-158, 1998. ,
DOI : 10.1007/BFb0028741
Model Checking, 1999. ,
Model checking systems of replicated processes with spin, SPIN'01, pp.235-251, 2001. ,
DOI : 10.1007/3-540-45139-0_15
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker, AMAST'06, pp.374-380, 2006. ,
DOI : 10.1007/11784180_29
Exact and Approximate Strategies for Symmetry Reduction in Model Checking, FM'06, pp.541-556, 2006. ,
DOI : 10.1007/11813040_36
Dynamic Symmetry Reduction, TACAS'05, pp.382-396, 2005. ,
DOI : 10.1007/978-3-540-31980-1_25
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003. ,
DOI : 10.1109/32.588521
Better verification through symmetry, Formal Methods in System Design, vol.9, issue.12, pp.41-75, 1996. ,
GAPLex: combining static and dynamic symmetry breaking, 2006. ,
Finding the smallest image of a set, Proceedings of the 2004 international symposium on Symbolic and algebraic computation , ISSAC '04, pp.229-234, 2004. ,
DOI : 10.1145/1005285.1005319
The Number of Partitions of a Set, The American Mathematical Monthly, vol.71, issue.5, pp.498-504, 1964. ,
DOI : 10.2307/2312585
Permutation Group Algorithms, 2003. ,
DOI : 10.1017/CBO9780511546549