π§π
π§π
π§π
π§π
Training Resources for Atelier B
Atelier B Download
MOOC on the B Method
Collection of Formal Specification
Searchβ¦
Introduction
Getting Your Hands Dirty
Installation
Applying the B Method
Project Creation
Code Generation
Mathematical Proof
B Training Course
Slides
Using B
Concepts
Architectural Clauses
B Examples
Fuel Level
Switch
Security Policy
Verified Software Competitions
Event-B Examples
TBC
Glossary
References
Powered By
GitBook
Introduction
This online document contains a number of useful resources to operate the Atelier B formal tool to model, to verify by proof, and to generate C source code. It is organized in 6 parts:
β
Getting your hands dirty
: practical/technical information linked to the use of Atelier B
β
B Training courses
: slides to understand B, practice B, and prove in B
β
Using B
: some chapters extracted from the "B Language User Manual"
β
B examples
: a collection of software models, from specification to implementation, down to source code in many cases
β
Event-B examples
: a collection of system-level models
β
Glossary:
a list of frequent specific words and expressions, and their meaning
β
References
: several useful links
β
Next - Getting Your Hands Dirty
Installation
Last modified
2mo ago
Copy link