Atelier B 4.1 supports three different kinds of projects:
- software project: using B language, aimed at producing C or Ada code.
- system level project: using Event-B language, aimed at producing evidences that a system level specification is sound and at preparing software development.
- data validation project: using B or Event B language, aimed at verifiying that constants can be valued. This applies for large set of constants and related properties.