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.

2MB

CLEARSY - Training B level 1.pdf

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.

2MB

CLEARSY - Training B level 2.pdf

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.

1MB

CLEARSY - Training B level 3.pdf

pdf