Rodin Tutorials: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Robot: Changing Category:User Documentation |
imported>Laurent →Tutorial 1 (celebrity, doors, galois, closure): Major rewrite |
||
| Line 1: | Line 1: | ||
== Tutorial | == Rodin User Tutorial (celebrity, doors, galois, closure) == | ||
The [[Index (Rodin Tutorial)|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. | |||
<small> | |||
The original and now outdated version is available [http://deploy-eprints.ecs.soton.ac.uk/10/ here]. | |||
</small> | |||
== Requirements Tutorial == | == Requirements Tutorial == | ||
Revision as of 16:34, 3 November 2009
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
