ProB 1.3.3 and ProB for Rodin 2.1 is available. Highlights: improved performance, constrained-based deadlock checking, record detection, and many more.
Find out more on the ProB pages.
Similar Posts
When Everything Is Green and Nothing Moves: Anti-Patterns in Product Development
In this interview, Marc Löffler and Michael Jastram discuss the impact of anti-patterns on Product Velocity, and what to do about it.
UML Requirements Modeling – an Introduction
For decades, requirements have been written primarily using natural language. There are many good reasons for this, as we already explained in this series. Modeling requirements has been used in the past as well, but not in a standardized manner. Modeling in the Old Days Before systems modeling was standardized, people still used models. Models…
3 Ways for Writing Black Box Specifications
The black box paradigm helps dealing with product complexity. Learn about 3 ways for applying it.
