Publié le 14 September 2011

Event-B Training

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 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.
  • Training takes place in Clearsy’s premises in Aix en Provence or Paris (except by special arrangement).
  • Contact ClearSy to find out the dates of the next training sessions.

Prices
  • 2,130 EUROS exclusive of VAT per person.
  • A 15% reduction is given for a group of at least 3 persons, from the same organisation.

Program
  • Introduction to Event-B
  • The Event-B language
  • Refinement techniques

References…

  • New York Metro (NYCT) – 26/29 january 2010. (USA)
  • Alstom – 12/15 october 2010. (France)

Comments are closed.