ProB 1.3.4 is available. The highlights of this release are:
- an “Evaluation View” to inspect formulas and values,
- an interactive “Eval” window to evaluate expressions and predicates,
- support for CSP assertion checking,
- an improved editor, e.g., with on-the-fly syntax highlighting,
- 64-bit versions for Mac and Linux are now available,
- several performance improvements.
Go to the ProB download page.