Contact

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.

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.

B Method Training Level 3

PROVE B

Learn to prove a B model with Atelier B.

EVENT-B Training

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

SUBSCRIPTIONS ARE AVAILABLE
To participate: formationb@clearsy.com

Copy link
Powered by Social Snap