efremov@linux.com Denis Efremov https://prob.hhu.de/w/index.php?title=Tutorial https://github.com/hhu-stups/prob-issues/issues 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).