This directory contains the mcrl-code for the experiments reported in
S.C.C. Blom and J.C. van de Pol, "State space reduction by proving
confluence". In Proceedings of CAV 2002, Copenhagen.

The experiments can be repeated after installing the mcrl toolset.
We checked that everything runs in the mcrl toolset version 2.11.2.
See http://www.cwi.nl/~mcrl to obtain this toolset.

Run "csh testscript" to generate the reduced state spaces, and
run "csh testscript2" to generate the full state spaces.

The Splice examples are in a separate directory, with
their own testscripts.