ProB 1.3.3 released

On February 9, 2011   /   Blog   /   Leave a comment

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.