Rodin Plug-ins

From Event-B
Revision as of 20:36, 9 September 2008 by imported>Mathieu (Add some succinct plugion escription)
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.

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

Tips & Tricks