Modelling

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