UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 9325

An Approach to Probabilistic Symmetry Reduction
Power,C. Miller,A.

Publication Type: Conference Proceedings
Appeared in: Proceedings of the Automated Reasoning Workshop 2010 (ARW'10)
Page Numbers : 32-33
Publisher: N/A
Year: 2010
ISBN/ISSN:
Abstract:

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.

Keywords: Model checking, symmetry, graph theory


PDF Bibtex entry Endnote XML