Rodin Developer Support

From Event-B
Revision as of 14:23, 4 July 2008 by imported>Stefan
Jump to navigationJump to search

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

Rodin Platform Overview

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

Editing

Proving

Event-B Component Library

Abstract Syntax Tree

Static Checker

Proof Obligation Generator

Proof Manager

Extending the Rodin Platform

Getting Started

Plug-in Tutorials

Useful Hints

Testing

Debugging

Rodin Developer FAQ