Difference between revisions of "Rodin Developer Support"
From Event-B
Jump to navigationJump to searchimported>Stefan |
imported>Stefan |
||
Line 3: | Line 3: | ||
[[Category:Developer Documentation]] | [[Category:Developer Documentation]] | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
+ | |||
+ | == Rodin Core == | ||
+ | |||
+ | [[Database]] | ||
+ | |||
+ | [[Builder]] | ||
+ | |||
+ | == Event-B User Interface == | ||
+ | |||
+ | [[Editing]] | ||
+ | |||
+ | [[Proving]] | ||
+ | |||
+ | == Event-B Library == | ||
+ | |||
+ | [[Abstract Syntax Tree]] | ||
+ | |||
+ | [[Static Checker]] | ||
+ | |||
+ | [[Proof Obligation Generator]] |
Revision as of 13:39, 4 July 2008
The Developer Support provides resources for developing plug-ins for the Rodin Platform.