Regular symmetry patterns

• Main Authors: LIN, Anthony W., NGUYEN, Truong Khanh, RÜMMER, Philipp, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2016
• Subjects: Permutation Group; Concurrent System; Pushdown Automaton; Symmetry Pattern; Regular Relation; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4972; https://ink.library.smu.edu.sg/context/sis_research/article/5975/viewcontent/regular.pdf
• Institution: Singapore Management University

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e....