CPOR-Spin: Spin with Clustered Partial Order Reduction


General Description


Installation of CPOR-Spin is the same as for standard Spin. Although so far CPOR-Spin has been tested only under SunOS and Linux, it should be portable to all platforms on which the standard distribution runs (i.e. all sorts of Unix and Windows platforms).


If you have any problems with the tool, or want some more information, please write to Dragan Bosnacki: dragan@win.tue.nl.