The development of critical systems requires particular rigor to achieve high-quality systems.
Formal methods provide this necessary rigor through mathematical modeling of specifications, accompanied by proofs of consistency and compliance. This approach not only eliminates ambiguities but also clarifies the specification.
The B method is a formal method developed by J.-R. Abrial and used particularly in the industrial domain for the development of complex systems.
Objectives
- Acquire the methodology for carrying out software development in B
- Learn the B language
Prerequisites
Knowledge of the principles of complex software development.
B Method Training: 2-Day Program
- Principles of the B method
- Principles of software development in B
- Modeling of data, requirements, and processes in B
- Structuring a software development in B
- Learning the principles of refinement
Assessment
Questionnaires will be administered at the beginning and end of the training to assess acquired knowledge.
Testimonials
“The B method training allowed me to make a big step forward in this field, which is very complex. The instructor managed in just two days to condense the essential foundation, enabling me to explore new horizons and motivating me to further refine my knowledge in this domain.“
Laurent Guillaume, Software Developer, Elipse Technologie.
Systerel’s Expertise in the B Method
Systerel is one of the leaders in the use of the B method for critical software development in an industrial context.
The B method enables a formal, stepwise development process leading to executable code.
The training is supported by numerous examples and practical exercises, allowing for concrete application of the B method in an industrial project.
Training Tailored to Your Needs
Training can be delivered in person at our offices in Aix-en-Provence, in the Paris region, or directly on your company site.
We can also offer customized training, specifically designed to meet your company’s requirements.
Feel free to contact us for more information: formation@systerel.fr
Satisfaction Rate 2024: 91 %*
* Average rate based on satisfaction surveys conducted during the trainings.
The quality certification was issued under the category “training actions”.
Learn More About Our Trainings
Modalities and ContactTraining Catalog
Activity registered under number 93 13 12834 13 with the Prefect of the Provence-Alpes-Côte d’Azur region.