ParB

This page explains how to run the distributed model checking Prototype.

The ProB distribution (see Download) comes with a script called parB.sh. Usage

./parB <Nr. of workers> <logfile> <file>

Example usage:

$ ./parB.sh 2 ~/parB.log scheduler.mch