Event-B Training


ABOUT EVENT-B TRAINING


picto-b

Event-B is a specialisation of the B-Method, used to formally describe systems and mathematically reason about their properties.

EVENT-B TRAINING SPECIFICITIES


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 wishing to acquire knowledge about Event-B.
> Anyone wishing 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

PROGRAM :

> Introduction to Event-B
> The Event-B langage.
> Refinement tehcniques.

PRICES :

> A 15% reduction is given for a group of at least 3 persons, from the same organisation.

pictos-monde
REFERENCES :

> New York Metro (NYCT), from 01/26/2010 to 01/29/2010. (USA)
> Alstom, from 10/12/2010 to 10/15/2010. (France)