1.1 Overview

This handbook consists of five parts:

Introduction (Chapter 1)

You are reading the introduction right now. Its purpose is to help you orient yourself and to find information quickly.

Tutorial (Chapter 2)

If you are completely new to Rodin, the tutorial is a good way to get up to speed quickly. It guides you through the installation and usage of the tool and gives you an overview of the Event-B modelling notation.

Reference (Chapter 3)

The reference section provides comprehensive documentation of Rodin and its components.

Frequently Asked Questions (Chapter 4)

Common issues are listed by category in the FAQ.


We included an index particularly for the print version of the handbook, but it may be useful in the electronic versions as well.