Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
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.
![\includegraphics[width=7mm]{img/tick_64.png}](images/img-0002.png)
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
|
|
|
|
|
|