🧑‍🎓
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

Was this helpful?

  1. Additional Resources

References

PreviousGlossaryNextFrequently Asked Questions

Last updated 2 years ago

Was this helpful?

B Language Reference Manual

B practitioners handbook (MATISSE project)

B project manager handbook (MATISSE project)

B board level handbook (MATISSE project)

3MB
B language reference manual.pdf
pdf
1MB
Practitioners-Handbook.pdf
pdf
465KB
ProjManagers-HandBook.pdf
pdf
264KB
Boardlevel-handbook-13.pdf
pdf