Regular Symmetry Patterns (Technical Report)

Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer +1

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is c…