Rodin Developer Support

The Developer Support provides resources for developing plug-ins for the Rodin Platform.

Architecture of the Rodin Platform

Rodin Platform Core

Database

Builder

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 proving properties of models.

Editing

Proving

Event-B Component Library

Abstract Syntax Tree

Static Checker

Proof Obligation Generator

Proof Manager