ProB 1.3.4 released

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.