Modes. Current status is version 1.0.0 for Rodin 2.0 In a long term we plan: • A few usability improvements • Integration with ProR requirements tracing framework • Event-B model generation and editing driven by FT patterns
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement