Difference between revisions of "Rodin Tutorials"

From Event-B
Jump to: navigation, search
Line 1: Line 1:
 
== Rodin User Tutorial (celebrity, doors, galois, closure) ==
 
== Rodin User Tutorial (celebrity, doors, galois, closure) ==
 +
 +
<b>This tutorial is currently outdated. We are looking for contributors willing to update / improve it!</b>
 +
 
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.
 
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.
  

Revision as of 08:19, 19 August 2010

Rodin User Tutorial (celebrity, doors, galois, closure)

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.