From Event-B

User Manual of the RODIN Platform

The reader of this Manual is supposed to have a basic acquaintance with Eclipse.

• 1 Project
• 2 Anatomy of a Context
• 3 Anatomy of a Machine
• 4 Saving a Context or a Machine
• 5 The Event-B Explorer
• 6 The Proving Perspective
• A The Mathematical Language
• B ASCII Representations of the Mathematical Symbols