University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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.

The versions of FDR supporting symmetry reduction are available below:

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