Rodin Plug-ins

From Event-B
Revision as of 17:23, 5 December 2008 by imported>Nicolas (→‎Rodin Plug-in Documentation)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

For developer support, see Rodin Developer Support

Rodin Plug-in Documentation

  • UML-B provides a 'UML-like' graphical front end for Event-B,
  • B2Latex allows to typeset an event-B model with latex,
  • ProB is an animator and model checker for the B-Method,
  • AnimB is an animator for the Rodin platform,
  • ReqsManagement offer supports for requirements management.
  • Parallel Composition using Event-B allows the composition of machines through events for Event-B.
  • Refactoring Framework allows the refactoring of elements that are part of file (and also on related files).
  • Indexing System allows to request occurrences of elements throughout models.

Rodin Plug-in Tutorials

Tips & Tricks