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
> Understand the B fundamental principles.
> Discover the B language.
B Method Training Level 2
PRACTICE B
> Understand how to develop a project with B.
> Build “good” B models.
> Learn B language advanced features.
> Discover event driven 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.
“Dedicated training sessions may be organized with a minimum of three students.”.
> Contact ClearSy for more details at: formationb@clearsy.com
OUR NEXT TRAINING SESSIONS
> Level 1: From 06/26/2018 to 06/29/2018
> Level 2: From 09/17/2018 to 09/20/2018
> Level 3: From 10/15/2018 to 10/18/2018
> Level 1: From 11/19/2018 to 11/21/2018
> Level 2: From 12/17/2018 to 12/20/2018
SUBSCRIPTIONS ARE AVAILABLE
To participate : formationb@clearsy.com
THEY HAD AN ATELIER B TRAINING
> IN YEAR 2017 :
Event B level – IFSTTAR, Railenium, UPEC
Level 2 – Alten, IFSTTAR