Formal Mind Blog

News on Open Systems Engineering – usually once a month. Consider subscribing by E-Mail

  • ProB 1.3.3 released

    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.

    Read more >>


Sign up!

Subscribe to our Newsletter