B METHOD TRAINING


Presentation of different B Training


B training sessions are probably the best and most efficient way to discover B. A formal method can’t be learned only by testing the software tool which implements it ! This is the very reason why new Atelier B package now includes those training sessions. Purchasing only level 1 session is also a good way to discover B and to experiment its tools.

ClearSy proposes three training session levels related to the use of B and Atelier B:


B Method Training Level 1


UNDERSTAND B

macbookcvontour

> Understand the B fundamental principles.
> Discover the B language.

B Method Training Level 2


PRACTICE B

macbookcvontour

> Understand how to develop a project with B.
> Build “good” B models.
> Learn B language advanced features.
> Discover event driven B.

B Method Training Level 3


PROVE B

macbookcvontour

> Learn to prove a B model with Atelier B.

OTHER TRAINING


Our Method B trainings can be completed with the following training, according to your needs :

EVENT-B Trainings


The objective of this training is to enable use of Event-B in the modelling and validation of systems.

BART Tool Training


> Learn how to refine a B model automatically with Bart.

“Dedicated training sessions may be organized with a minimum of three students.”.
> Contact ClearSy for more details at: formationb@clearsy.com

pictos-monde

OUR NEXT TRAINING SESSIONS

> Level 2: From 11/13/2017 to  11/16/2017   – Paris
> Level 3: From 12/11/2017 to  12/13/2017   – Paris

> Level 1: From 01/22/2018 to  01/25/2018   – Paris
> Level 2: From 03/05/2018 to  03/08/2018   – Paris
> Level 3: From 04/03/2018 to  04/05/2018  – Paris

> Level 1: From 05/14/2018 to  05/17/2018   – Paris
> Level 2: From 06/11/2018 to  06/14/2018   – Paris
> Level 3: From 07/09/2018 to  07/11/2018   – Paris

 

SUBSCRIPTIONS ARE AVAILABLE
To participate : formationb@clearsy.com

picto-2

THEY HAD AN ATELIER B TRAINING

> IN YEAR 2014 :
Level 3 – From 05/25/2014 to 05/27/2014 : IFSTTAR
Level 1 – From 05/13/2014 to 05/16/2014 : Alstom, IT Link, Mitsubishi
Level 3 – Du 01/29/2014 to 04/31/2014 : RATP, Siemens, Telecom Paris, Université Paris Diderot