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 the B fundamental principles.
- Discover the B language.
B Method Training Level 2
- Understand how to develop a project with B.
- Build “good” B models.
- Learn B language advanced features.
B Method Training Level 3
Learn to prove a B model with Atelier B.