Difference between revisions of "Rodin Developer Support"
From Event-B
Jump to navigationJump to searchimported>Stefan |
imported>Stefan |
||
| Line 16: | Line 16: | ||
=== Event-B User Interface === | === 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 | + | 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]] | [[Editing]] | ||
Revision as of 14:24, 4 July 2008
The Developer Support provides resources for developing plug-ins for the Rodin Platform.
Contents
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 proving properties of models.
