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
AI Co-Interviewers suck today! Will they be better tomorrow?
I recently started a series of surveys on LinkedIn. We just launched the third survey (and it would be great if you could take 30 seconds to participate!). Our goal is to take some of the hype out of AI in requirements engineering. (Also don’t forget to sign up for the panel on AI and…
Why it is a great time to be a Systems Engineer (and how to become one)
Until not too long ago, only few companies employed Systems Engineers. In fact, until recently, there was not even a clear career path to become one. Things are changing on both fronts: The demand for Systems Engineers is going up steadily. And there are now systematic career paths for becoming a Systems Engineer.
