ASK FOR ATELIER B MAINTENANCE

This maintenance contract covers a one-year period and applies to current and past versions or specific versions of Atelier B developed for industry, and includes:
> The availability of a hotline
> Interim updates
> Tests of new tools
> Participation in beta tests
> Examples
> As well as training materials

To request a maintenance contract depending your preferred Atelier B version, please click here:

SUPPORT FOR THE B METHOD

You may request a support contract for the B Method applied to Atelier B, last version and greater.

This contract covers a one-year period and includes: :
> methodological guidance on your projects,
> technical advices when elaborating you B models,
> assistance to complete proof obligations demonstrations

DONATION

Would you like to contribute to the development of Atelier B by making a donation? Simply fill in the downloadable form below and send your donation to the following address:
ClearSy Aix-en-Provence
Parc de la Duranne
320, Avenue Archimède
Les Pléiades III – Bât. A
13857 AIX EN PROVENCE CEDEX 3 – FRANCE

> Commitment Form Donation

This donation will help finance the development of Atelier B, as well as the development of other open source tools.