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.
