> For the complete documentation index, see [llms.txt](https://b-method.gitbook.io/training-resources-for-atelier-b/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://b-method.gitbook.io/training-resources-for-atelier-b/readme.md).

# Introduction

Welcome to our Atelier B and B method resource site! This site has been designed to guide you in learning and mastering Atelier B, a powerful development environment that implements the B method for designing and verifying computer and electronic systems.

Our goal is to provide you with a variety of educational resources to facilitate your learning journey, regardless of your skill level. We offer:

* [Guides and tutorials](/training-resources-for-atelier-b/guides-and-tutorials/installation.md): Learn the basics of Atelier B and the B-method with user manuals and detailed tutorials, suitable for beginners as well as experienced users.
* [Examples and case studies](/training-resources-for-atelier-b/examples-and-case-studies/fuel-level.md): Discover how to practically apply the B method and use Atelier B through real-life examples and case studies.
* [Additional resources](/training-resources-for-atelier-b/additional-resources/glossary.md): Access articles, presentations, and other resources to deepen your knowledge of Atelier B and the B method.

To start learning how to use Atelier B and the B method, we recommend following these main steps:

1. Browse the guides and tutorials to familiarise yourself with the basic concepts of the B method and the features of Atelier B.
2. Review the examples and case studies to understand how to apply the B-method and use Atelier B in real-life situations.
3. Consult the additional resources to deepen your knowledge and improve your skills in designing and verifying systems.

We hope that this site will help you get the most out of Atelier B and the B method, and we wish you an enriching and fruitful learning experience!


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://b-method.gitbook.io/training-resources-for-atelier-b/readme.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.