🧑‍🎓
Training Resources for Atelier B
  • Introduction
  • Guides and Tutorials
    • Installation
    • Training Videos
    • Training Slides
    • Applying the B Method
      • Project Creation
      • Code Generation
      • Mathematical Proof
        • 🔥Writing Mathematical Rules
          • Introduction
          • Introduction to the Theory Language
          • How to write mathematical rules
          • Using Automatic Prover Mechanisms
          • Guards in a nutshell
          • Normalisation of Expressions
          • Common pitfall
          • All guards in the theory language
    • Extending Atelier B
      • Syntax
      • Examples
    • Programming the CLEARSY Safety Platform
  • Examples and Case-studies
    • Fuel Level
    • Switch
    • Security Policy
    • Verified Software Competitions
  • Additional Resources
    • Glossary
    • References
    • Frequently Asked Questions
Powered by GitBook
On this page
  • Introduction
  • B Method Training Level 1
  • B Method Training Level 2
  • B Method Training Level 3

Was this helpful?

  1. Guides and Tutorials

Training Slides

PreviousTraining VideosNextApplying the B Method

Last updated 1 year ago

Was this helpful?

Introduction

This section contains the slides of the 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.

3 B training courses
2MB
CLEARSY - Training B level 1.pdf
pdf
2MB
CLEARSY - Training B level 2.pdf
pdf
1MB
CLEARSY - Training B level 3.pdf
pdf