## Rodin HandbookThis 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 |
## 2.5 Mathematical notation
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. |