Difference between revisions of "Rodin Tutorials"
From Event-B
Jump to navigationJump to searchimported>Laurent (→Tutorial 1 (celebrity, doors, galois, closure): Major rewrite) |
imported>Vitaly |
||
| Line 12: | Line 12: | ||
[[Category:User documentation]] | [[Category:User documentation]] | ||
[[Category:Tutorial]] | [[Category:Tutorial]] | ||
| + | |||
| + | == Statemachine Animation Tutorial == | ||
| + | [[Statemachine Animation Tutorial]] shows how to use the Statemachine Animation plug-in on a sample UML-B model. | ||
Revision as of 10:47, 10 May 2010
Rodin User Tutorial (celebrity, doors, galois, closure)
The Rodin User Tutorial gives a tour of Rodin most important features. It is based on four examples. It is also an introduction to proving with the Rodin Platform.
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.
