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.
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.
1-2 emails per month. Unsubscribe anytime.
Binom Carsten Pitz Columns Compare Consequent Document Generation Eclipse Embedded Systems Features Goals i* ID INCOSE Interview IoT ISO 29110 MBSE Modeling Neil Maiden One-Pager Opinion Paper Papyrus Paul Schreinemakers ReConf ReqEdit ReqIF ReqIF.academy ReqIF Studio Requirements Requirements Modeling Security Series SYSMOD Training Transformation Trends UML Validation Wizard