Training Slides
Introduction
This section contains the slides of the 3 B training courses offered until 2020, in their current shape. The graphical template has been recently updated but some formatting glitches may occur.
These slides can be freely used for education as long as the licence, Creative Commons Attribution 4.0, is kept.
B Method Training Level 1
This course is aimed at understanding B i.e. understand the B fundamental principles and to discover the B language. It contains 104 slides.
B Method Training Level 2
This course is aimed at practising B i.e. understand how to develop a project with B, build “good” B models, and learn B language advanced features. It contains 101 slides.
B Method Training Level 3
This course is aimed at proving with B i.e. understand how to prove a model with Atelier B. It contains 90 slides.
Last updated