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