Symmetry reductions in model checking

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

Volumn 1427 LNCS, Issue , 1998, Pages 147-158

  Clarke, E M ^a   Emerson, E A ^b   Jha, S ^a   Sistla, A P ^c  

^a Carnegie Mellon University   (United States)

^b University of Texas at Austin   (United States)

^c 1120 Science and Engineering Offices   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; GROUP THEORY; COMPUTATION THEORY;

COMPUTATIONAL GROUP THEORY; CONCURRENT PROGRAM; GRAPH ISOMORPHISM; ORBIT PROBLEMS; RESEARCH TOPICS; SHARED VARIABLES; STATE EXPLOSION PROBLEMS; SYMMETRY REDUCTION;

MODEL CHECKING;

EID: 84863922302     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0028741     Document Type: Conference Paper

References (14)

1. L. Babai and E. Luks. Canonical labeling of graphs. In Proceedings of the 15th ACM STOC, 1983.
2. 20 states and beyond. 98(2):142-170, June 1992.
3. E. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting symmetry in temporal logic model checking. Formal Methods in System Design, 9(1/2):77-104, 1996. (Pubitemid 126708457)
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Prog. Lang. Syst., 8(2):244-263, Apr. 1986. (Pubitemid 16633197)
5. P. Curie. Sur la symétrie dans les phénomènons physiques, symétrie d'un champ électrique magnétique. J. Physics (3rd, ser.), 3:393-415, 1894.
6. E. Emerson and A. Sistla. Symmetry and model checking. Formal Methods in System Design, 9(1/2):105-130, 1996.
7. M. Fürst, J. Hopcroft, and E. Luks. Polynomial-time algorithms for permutations groups. In Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980.
8. C. Hoffman. Group Theoretic Algorithms and Graph Isomorphism, volume 697 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1982.
9. T. Hungerford. Algebra. Springer-Verlag, 1980.
10. IEEE Computer Society. IEEE Standard for Futurebus+ - Logical Protocol Specification, Mar. 1992. IEEE Standard 896.1-1991.
11. C. Ip and D. Dill. Better verification through symmetry. Formal Methods in System Design, 9(1/2):41-76, 1996.
12. K. Jensen. Condensed state spaces for symmetrical coloured petri nets. Formal Methods in System Design, 9(11/2):7-40, 1996. (Pubitemid 126708455)
13. E. Luks. Permutation groups and polynomial-time computation. In Workshop on Groups and Computation, volume 11 of Dimacs. American Mathematical Society, Oct. 1991.
14. K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. PhD thesis, Carnegie Mellon University, 1992.