We want to share our latest insights regarding formal methods and requirements as well as the latest developments regarding our OpenSource tools, ProB and ProR. We will post new information roughly twice a month, so you won't be overwhelmed. You can either subscribe via email (below), subsribe to our RSS Feed or visit this page.
ProB 1.3.4 released
Submitted by Michael Leuschel on Fri, 12/09/2011 - 18:29
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.