Symmetry Reduction in CSP Model Checking, Thomas Gibson-Robinson and Gavin Lowe

The full version of our paper Symmetry Reduction in CSP Model Checking, submitted to Formal Aspects of Computing, is available here.

A version of FDR supporting symmetry reduction is available below:

This are available under the terms of the FDR license.

Here are the CSP files used in the experiments of Section 9.

(For each example, a file with one choice of the parameters is given; the file can be easily edited to change the parameters.)