THE INDUSTRIAL TOOL
TO EFFICIENTLY DEPLOY
THE B METHOD

SEE MORE +

ATELIER B PRESENTATION


Developed by ClearSy, Atelier B is an industrial tool that allows for the operational use of the B Method to develop defect-free proven software (formal software). It is available in 2 versions :
1- Community Edition available to anyone without any restriction,
2- Maintenance Edition for maintenance contract holders only.
It is used to develop safety automatisms for the various subways installed throughout the world by Alstom and Siemens, and also for Common Criteria certification and the development of system models by ATMEL and STMicroelectronics.
Additionally, it has been used in a number of other sectors, such as the automotive industry, to model operational principles for the onboard electronics of three car models. Atelier B is also used in the aeronautics and aerospace sectors.

SEE MORE +

R&D PROJECTS / Open Source


picto-9

Visit our links to download :
> MÉTHODE B
> ELECTRONIC SYSTEMS
> COMPUTING SYSTEMS

CUSTOMER ACCESS


picto-3

DOWNLOAD SECTION
Sign in with your login

SIGN IN picto-fleche

Atelier B v4.3.1 is freely downloadable during the International ABZ Conference 2016


We are pleased to inform you that Atelier B 4.3.1 is available for free download at the occasion of the International ABZ Conference 2016.
This version includes 27 fixes and 2 new features: a new prover based on the ProB tools and the B Coding Rule Checker.
For further information, please check out the version release note.