Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
2.5 Mathematical notation
![\includegraphics[width=7mm]{img/tick_64.png}](images/img-0002.png)
Goals: In order to understand how basic properties of a model can be expressed in Event-B, we need a brief introduction of predicates, terms and data types.
In Event-B, we use a mathematical notation to describe the systems we want to model. This allows us to be very precise about the model’s properties.
|
|
|
|
|
|