prob-bin

Animator, constraint solver and model checker for B, Event-B, CSP, TLA+, Z

ProB is an animator, constraint solver and model checker for the B method. It supports classical B, Event-B, CSP-M, TLA+ and Z, and allows the animation and automated/guided model checking of specifications, including invariant and deadlock checking. This package installs the prebuilt Tcl/Tk graphical interface (prob) and the command-line tool (probcli).

homepage ↗