Rodin Plug-ins: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Robot: Changing Category:User Documentation
imported>Mathieu
m ''For developer support, see Rodin Developer Support''
Line 1: Line 1:
''For developer support, see [[Rodin Developer Support]]''
== Rodin Plug-in Documentation ==
== Rodin Plug-in Documentation ==



Revision as of 11:20, 18 September 2008

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

Tips & Tricks