Rodin Plug-ins

From Event-B
Revision as of 09:37, 4 March 2009 by imported>Mathieu (Add B2C + some reorganization)
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

Modelling
Animation
  • ProB is an animator and model checker for the B-Method,
  • AnimB is an animator for the Rodin platform,
Documentation
  • ReqsManagement offer supports for requirements management.
  • B2Latex allows to typeset an event-B model with latex,
Proof
Translation
  • B2C translates Event-B models to C source code, which may then be compiled using external C development tools.

Rodin Plug-in Tutorials

Tips & Tricks