🧑‍🎓
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
  • MOOC on B
  • Atelier B Basic Training

Was this helpful?

  1. Guides and Tutorials

Training Videos

PreviousInstallationNextTraining Slides

Last updated 2 years ago

Was this helpful?

MOOC on B

20 videos covering basic aspects from modeling to code generation, proof, and project management

Atelier B Basic Training

Videos presenting the Atelier B tool through a number of basic interactions.

LogoMOOC - Massive Open Online Course
The B Method: from specification to code
Youtube Playlist on Atelier B