efremov@linux.com Denis Efremov https://github.com/hhu-stups/prob-issues/issues hhu-stups/prob2_ui ProB2-UI is a modern JavaFX-based user interface for the ProB animator, constraint solver and model checker. It supports the B method, Event-B, CSP-M, TLA+ and Z, offering interactive animation, model checking, LTL/CTL verification, trace recording and replay, and visualisation.