Rodin Tutorials: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Wohuai No edit summary |
imported>Ladenberger |
||
| Line 1: | Line 1: | ||
== Rodin User Tutorial (celebrity, doors, galois, closure) == | == Rodin User Tutorial (celebrity, doors, galois, closure) == | ||
{| class="wikitable" style="font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;" | |||
|- | |||
! scope="col" | Do not edit! This content has been migrated to Subversion. | |||
|- | |||
|([http://handbook.event-b.org Nightly Handbook Build]) | |||
|} | |||
<b>This tutorial is currently outdated. We are looking for contributors willing to update / improve it!</b> | <b>This tutorial is currently outdated. We are looking for contributors willing to update / improve it!</b> | ||
Revision as of 12:38, 16 September 2011
Rodin User Tutorial (celebrity, doors, galois, closure)
| Do not edit! This content has been migrated to Subversion. |
|---|
| (Nightly Handbook Build) |
This tutorial is currently outdated. We are looking for contributors willing to update / improve it!
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.
