Subscribe

Blog

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
Page 9 of 9« First...56789