Rodin Plug-ins

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.

Rodin Plug-in Tutorials

• Requirements Tutorial,
• Flash Animation Tutorial with animB and Adobe CS3.

Tips & Tricks

• Installing external plug-ins manually