Navigation
Special Pages
- Recent changes

User
- Log in

ParB

Revision as of 08:22, 17 March 2015 by Michael Leuschel (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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>

Retrieved from "https://prob.hhu.de/w/index.php?title=ParB&oldid=2746"