Training Videos

MOOC on B

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

LogoMOOC - Massive Open Online Course
The B Method: from specification to code

Atelier B Basic Training

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

Youtube Playlist on Atelier B
PreviousInstallationNextTraining Slides

Last updated

Was this helpful?