Rodin Developer Support: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Stefan
No edit summary
imported>Stefan
No edit summary
Line 3: Line 3:
[[Category:Developer Documentation]]
[[Category:Developer Documentation]]
[[Category:Rodin Platform]]
[[Category:Rodin Platform]]
== Rodin Platform Overview ==


== Architecture of the Rodin Platform ==
== Architecture of the Rodin Platform ==

Revision as of 14:14, 4 July 2008

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

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