ProB2-UI is the new Java-based user interface for ProB.
Download
Download the latest version of ProB2-UI here. See also the release history.
The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following these instructions.
Features
Compared to the original UI based on Tcl/Tk, this new UI has some unique new features:
- Projects which store formal models, ProB preferences, and verification settings
- Load Rodin models from Rodin workspaces (without having to export them within Rodin)
- Managing and storing multiple trace files for a model, being able to replay all traces
- MC/DC test-case generation
- A view for managing LTL formulas for a model
- Visualisation of models using VisB and SVG graphics
- An integrated view for all dot-based graph visualisations (state space, machine hierarchy, formulas, projection diagrams, enabling graphs, event refinement hierarchy, ....)
- An integrated view to access all table based statistics (event coverage, MC/DC coverage, read-write matrices, WD POs, ...)
- A multi-language interface, currently providing English, French, German and Russian
We have developed a small
video highlighting the core features (also on YouTube) on a model the from visb-visualisation-examples: