Rodin Handbook


2.2 Before Getting Started

Before we get started with the actual tutorial, we are going to go over the required background information to make sure that you have a rudimentary understanding of the necessary concepts.


You can skip this section, if...

  • ... you know what formal modelling is

  • ... you know what predicate logic is

  • ... you know what Event-B and Rodin are

  • ... you know what Eclipse is