Atelier B oPEn ResOurces
This repository provides resources related to the IDE Atelier B (http://www.atelierb.eu). Atelier B is an environment for
- software component development using the B method
- system modeling using Event-B.
While Atelier B historically used custom data formats and languages, recent developments provide alternative tools using XML based formats.
Data and formats are distributed under the Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0). The terms of the license are available at the following URL: https://creativecommons.org/licenses/by-nc/4.0/.
Tools are distributed under the GNU General Public License Version 3.
Part of the contents of this repository has been produced thanks to the support of Agence Nationale de la Recherche, through project BLaSST.
This resource has a dedicated repository: https://github.com/CLEARSY/CSSP-Programming-Handbook.