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 4: | Line 4: | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
== Rodin Core == | == Architecture of the Rodin Platform == | ||
=== Rodin Platform Core === | |||
[[Database]] | [[Database]] | ||
| Line 10: | Line 12: | ||
[[Builder]] | [[Builder]] | ||
== Event-B User Interface == | === Event-B User Interface === | ||
[[Editing]] | [[Editing]] | ||
| Line 16: | Line 18: | ||
[[Proving]] | [[Proving]] | ||
== Event-B Library == | === Event-B Component Library === | ||
[[Abstract Syntax Tree]] | [[Abstract Syntax Tree]] | ||
| Line 23: | Line 25: | ||
[[Proof Obligation Generator]] | [[Proof Obligation Generator]] | ||
[[Proof Manager]] | |||
== Extending the Rodin Platform == | |||
=== Getting Started === | |||
=== Plug-in Tutorials === | |||
Revision as of 14:13, 4 July 2008
The Developer Support provides resources for developing plug-ins for the Rodin Platform.
