(Created page with 'This page explains how to run the distributed model checking Prototype.') |
No edit summary |
||
| Line 1: | Line 1: | ||
This page explains how to run the distributed model checking Prototype. | This page explains how to run the distributed model checking Prototype. | ||
The ProB distribution (see [[Download]]) comes with a script called <tt>parB.sh</tt>. | |||
Usage | |||
./parB <Nr. of workers> <logfile> <file> | |||
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>