🧑🎓
🧑🎓
🧑🎓
🧑🎓
Training Resources for Atelier B
Atelier B DownloadMOOC on the B MethodCollection of Formal Specification
Search
⌃K
Links
Introduction
Getting Your Hands Dirty
Installation
Applying the B Method
Project Creation
Code Generation
Mathematical Proof
Introduction to mathematical rules
Writing Mathematical Rules
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

Mathematical Proof

Here are the articles in this section:
Introduction to mathematical rules
Writing Mathematical Rules
Getting Your Hands Dirty - Previous
Code Generation
Next
Introduction to mathematical rules
Last modified 1yr ago
Copy link