Output details
11 - Computer Science and Informatics
University of Glasgow
Article title
Automatic symmetry detection for Promela
Type
D - Journal article
Title of journal
Journal of Automated Reasoning
Article number
-
Volume number
41
Issue number
3-4
First page of article
251
ISSN of journal
0168-7433
Year of publication
2008
URL
-
Number of additional authors
1
Additional information
<10> This paper describes a novel technique for automatically detecting symmetry during model checking. The use of symmetry reduction in model checking is a vital for maintaining statespace manageablility, and requires this elegant, rigorous theory. The theoretical techniques presented have been used to develop a tool for automatic symmetry detection to allow smaller state spaces to be explored during model checking. This is a long (43 page) paper, containing deep theoretical ideas explained in detail.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-