Contact

Event-B Training

 B Method Training

EVENT-B

Event-B is a specialisation of the B-Method, used to formally describe systems and mathematically reason about their properties. The objective of this training is to enable use of Event-B in the modelling and validation of systems. The training provides a reminder of the principles behind the B-Method and the theory used by Event-B, as well as an introduction to the specific features of the latter.

OBJECTIVES :

  • To acquire the basics of the B-Method.
  • To understand the principles behind modelling systems with B.
  • To validate the properties on the systems by using Event-B.
  • To write the “right” models in Event-B.

WHO SHOULD PARTICIPATE :

  • Anyone willing to acquire knowledge about Event-B.
  • Anyone willing to use B to model systems.

PREREQUISITES :

  • Mathematical understanding equivalent to a Science A’ level.
  • Basic knowledge of B, or “understanding B” training recommended.

DURATION :

4 days

ORGANIZATION :

  • A maximum of 10 people per training group.
  • The training takes place in CLEARSY offices in Aix or Paris (Except by special arrangement).
  • Contact CLEARSY to find out the dates of the next training sessions.
  • A discount is applied to holders of a AtelierB maintenance contract.

PROGRAM :

  • Introduction to Event-B
  • The Event-B langage.
  • Refinement techniques.

REFERENCES :

> New York Metro (NYCT) (USA)
> Alstom (France)

More informations about "B Method Training"

Copy link
Powered by Social Snap