A computational group theoretic symmetry reduction package for the SPIN model checker

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4019 LNCS, Issue , 2006, Pages 374-380

  Donaldson, Alastair F ^a   Miller, Alice ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; PROBLEM SOLVING; STATE SPACE METHODS;

AUTOMORPHISM; COMPUTATIONAL ALGEBRA SYSTEM; MODEL CHECKING;

COMPUTATION THEORY;

EID: 33746092083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_29     Document Type: Conference Paper

References (12)

1. D. Bosnacki. A light-weight algorithm for model checking with symmetry reduction and weak fairness. In SPIN'03, LNCS 2648, pages 89-103. Springer, 2003.
2. D. Bosnacki, D. Dams, and L. Holenderski. Symmetric spin. International Journal on Software Tools for Technology Transfer, 4(1):65-80, 2002.
3. G. Butler. Fundamental Algorithms for Permutation Groups, volume 559 of LNCS. Springer-Verlag, 1991.
4. E.M. Clarke, E.A. Emerson, S. Jha, and A.P. Sistla. Symmetry reductions in model checking. In CAV'98, LNCS 1427, pages 147-158. Springer, 1998.
5. P.T. Darga, M.H. Liffiton, K.A. Sakallah, and I.L. Markov. Exploiting structure in symmetry detection for CNF. In DAC'04, pages 530-534. ACM Press, 2004.
6. A. F. Donaldson and A. Miller. Automatic symmetry detection for model checking using computational group theory. In FM'05, LNCS 3582, pages 418-496. Springer, 2005.
7. A. F. Donaldson and A. Miller. TopSPIN Website: http://www.dcs.gla.ac.uk/ people/personal/ally/topspin/.
8. E.A. Emerson, J. Havlicek, and R.J. Trefler. Virtual symmetry reduction. In LICS'00, pages 121-131. IEEE Computer Society Press, 2000.
9. E.A. Emerson and T. Wahl. Dynamic symmetry reduction. In TACAS'05, LNCS 3440, pages 382-396. Springer, 2005.
10. The Gap Group. GAP-Groups, Algorithms, and Programming, Version 4.4; 2006. http://www.gap-system.org.
11. G.J. Holzmann The SPIN model checker: primer and reference manual. Addison Wesley, 2003.
12. C. Ip and D. Dill. Better verification through symmetry. Formal Methods in System Design, 9:41-75, 1996.