Template:Main Page/User Documentation

Displayed as follow on the Main Page

Mathematical Language • Modelling Language • Event-B category

Event-B Language

Rodin Handbook • Install Notes • Tutorials • User documentation category

Rodin Platform User Support

UML-B • Theory • B2Latex • ProB • BMotion Studio • AnimB • ProR • Disprover • Plugin category

Rodin Plug-in User Support

Examples category

Example models with Event-B

FAQ

Event-B and Rodin on Youtube

>>Download the Rodin presentation leaflet<<