Rodin Tutorials

From Event-B
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.

This page gives a brief summary of tutorial documents for Rodin and other Plug-ins.

Rodin Handbook

Rodin Handbook (Tutorial)

The original and now outdated version is available here.

Requirements Tutorial

Requirements Tutorial
Shows how the Requirements Plug-in is used

Statemachine Animation Tutorial

Statemachine Animation Tutorial shows how to use the Statemachine Animation plug-in on a sample UML-B model.