Introduction
This section is related to the modelling in B and event-B, and provides advices and examples coming from various application domains.
B Modelling
The B language is specifically designed for modelling software.
Event B Modelling
Under construction