We are very excited to announce that ProR is now part of the Eclipse Foundation Requirements Modeling Framework (RMF). We decided to use the name RMF (rather than ProR), to keep the distinction between the GUI (ProR) and the various RIF/ReqIF cores. The initial submission to the Eclipse foundation consists of the cores for RIF […]
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.