B Training Resources

English B training sessions

Slides of English B training sessions offered until 2020 are freely available for download in their current shape. These 3 training sessions help the learners to discover the B language, to create models and projects, and to prove them.
The slides are available on the B method gitbook

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.