Rodin Developer Support

From Event-B
Revision as of 13:39, 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 Core

Database

Builder

Event-B User Interface

Editing

Proving

Event-B Library

Abstract Syntax Tree

Static Checker

Proof Obligation Generator