Rodin Developer Support
From Event-B
The Developer Support provides resources for developing plug-ins for the Rodin Platform.
Rodin Platform Overview
Architecture of the Rodin Platform
Rodin Platform Core
Event-B User Interface
The Event-B User Interface of the Roding Platform has two major components that are concerned with either editing Event-B models or