Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
2.2.5 Rodin
Rodin (3.1) is the name of the tool platform for Event-B. It allows formal Event-B models to be created with an editor. It generates proof obligations (3.2.6) that can be discharged either automatically or interactively.
Rodin is modular software and many extensions are available. These include alternative editors, document generators, team support, and extensions (called plugins) to the notation which include decomposition or record support. An up-to-date list of plugins is maintained in the Rodin Wiki (1.1.2)1.
|
|
|
|
|
|
Footnotes
- Specifically, there links were valid at the time of writing: http://wiki.event-b.org/index.php/Rodin_Plug-ins http://wiki.event-b.org/index.php/Installing_external_plug-ins_manually