Finding symmetry in models of concurrent systems by static channel diagram analysis

Electronic Notes in Theoretical Computer Science

Volumn 128, Issue 6, 2005, Pages 161-177

  Donaldson, Alastair F ^a   Miller, Alice ^a   Calder, Muffy ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

Concurrency; Distributed systems; Formal verification; Model checking; Promela Spin; Symmetry

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; MOBILE TELECOMMUNICATION SYSTEMS; PROBLEM SOLVING; SET THEORY; TOPOLOGY;

CONCURRENCY; DISTRIBUTED SYSTEMS; FORMAL VERIFICATION; MODEL CHECKING; PROMELA/SPIN; SYMMETRY;

MATHEMATICAL MODELS;

EID: 18744368750     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.04.010     Document Type: Conference Paper

References (15)

1. D. Bosnacki, D. Dams, and L. Holenderski Symmetric spin International Journal on Software Tools for Technology Transfer 4 1 2002 65 80
2. M. Calder and A. Miller. Five ways to use induction and symmetry in the verification of networks of processes by model-checking. In AVoCS '02
3. M. Calder, and A. Miller Veriscope publications website http://www.dcs.gla.ac.uk/research/veriscope/publications.html
4. Edmund M. Clarke, Orna Grumberg, and Doron Peled Model Checking 1999 The MIT Press Cambridge, Masachusetts
5. E.M. Clarke, E.A. Emerson, S. Jha, and A.P. Sistla Symmetry reductions in model-checking CAV '98 1998 147 158
6. E.M. Clarke, R. Enders, T. Filkhorn, and S. Jha Exploiting symmetry in temporal logic model checking Formal Methods in System Design 9 1-2 1996 77 104
7. A. Donaldson, A. Miller, and M. Calder. SPIN-to-GRAPE: a tool for analysing symmetry in promela models. In ARTS '04
8. E. Allen Emerson, John W. Havelick, and Richard J. Trefler. Virtual symmetry reduction. In LICS '00, pages 121-131, Santa Barbara, California, USA, 1995
9. The Gap Group GAP-Groups Algorithms and Programming, Version 4.2 Aachen, St. Andrews http://www-gap.dcs.st-and.ac.uk/~gap 1999
10. Gerard J. Holzmann The SPIN model checker: primer and reference manual 2003 Addison Wesley Boston
11. C. Norris Ip, and D. Dill Better verification through symmetry Formal Methods in System Design 9 1996 41 75
12. B.D. McKay. nauty user's guide (version 1.5). Technical Report TR-CS-90-02, Australian National University, Computer Science Department, 1990
13. Brendan D. McKay Practical graph isomorphism Congressus Numerantium 30 1981 45 87
14. Peter Saffrey. Optimising Communication Structure for Model Checking. PhD thesis, Department of Computing Science, University of Glasgow, July 2003
15. A. Prasad Sistla, Viktor Gyuris, and E. Allen Emerson SMC: A symmetry-based model checker for verification of safety and liveness properties ACM Transactions on Software Engineering and Methodology 9 2000 133 166