Regular symmetry patterns

• المؤلفون الرئيسيون: LIN, Anthony W., NGUYEN, Truong Khanh, RÜMMER, Philipp, SUN, Jun
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2016
• الموضوعات: Permutation Group; Concurrent System; Pushdown Automaton; Symmetry Pattern; Regular Relation; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4972; https://ink.library.smu.edu.sg/context/sis_research/article/5975/viewcontent/regular.pdf

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....