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.
CLEARSY - Training B level 1.pdf
2MB
PDF

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.
CLEARSY - Training B level 2.pdf
2MB
PDF

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.
CLEARSY - Training B level 3.pdf
1MB
PDF