Rodin Tutorials

From Event-B
Revision as of 16:34, 3 November 2009 by Laurent (talk | contribs) (Tutorial 1 (celebrity, doors, galois, closure): Major rewrite)
Jump to: navigation, search

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