An approach to probabilistic symmetry reduction

Power, C. and Miller, A. (2010) An approach to probabilistic symmetry reduction. In: Automated Reasoning Workshop 2010 Bridging the Gap between Theory and Practice ARW 2010, Harrow, UK, 30-31 Mar 2010, pp. 32-33.

Full text not currently available from Enlighten.

Publisher's URL:


We present a technique for the automated detection of potential structural and data symmetries from a probabilistic specification language. This approach involves the construction of an extended static channel diagram, a graphical representation of channel-based communication and global variable accesses from a specicification defined in our custom made language SPS. This graph is used to compute potential symmetries whose validity is verified against the probabilistic specification. Unlike previous approaches this method can detect arbitrary structural and data symmetries.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Miller, Professor Alice
Authors: Power, C., and Miller, A.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record