1.1 Overview

This handbook consists of five parts:

Introduction: You are reading the introduction right now. It helps you to orient yourself and to find information quickly.
Tutorial: 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 modeling notation.
Reference: The reference section provides comprehensive documentation of Rodin, and its components.
Frequently Asked Questions: Common issues are listed by category in the FAQ.
Index: We included an index especially for the print version of the handbook. In the electronic versions, you may want to try the search functionality as well.

Rodin Handbook