Home -
News -
Products -
Versions -
Download -
Manuals
- Maintenance -
Distribution Policy -
Roadmap & Contribution -
Support -
Training -
Documents -
Press -
References -
R&D - Contacts -
Jobs -
Links -
Your Account
Roadmap & Contributions
Roadmap
Successive new versions of Atelier B will integrate the following corrections and developments:
- ClearSy developments
- research and development improvements
- developments made by the Atelier B user community
Furthermore, we will continue to make available the sources of many Atelier B tools in order to promote the developments. Later on, we will provide details about technical perspectives concerning the Atelier B (new provers, new GOP, method integration, new translators etc.)
Contributions : Open Source Project
In order to facilitate the appropriation of underlying technologies, a number of Atelier B’s key tools have become open source community projects, including:
- The B compiler
- The automatic BART refinement tool
- Atelier B 4’s man-machine interface
- The ComenC translator