> 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/examples-and-case-studies.md).

# Examples and Case-studies

- [Fuel Level](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/fuel-level.md)
- [Switch](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/switch.md)
- [Security Policy](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/security-policy.md)
- [Verified Software Competitions](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/verified-software-competitions.md)