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.
Projects with Products from Atelier B
Our Products are Used in Projects by
Is this your brand? Contact Archello to claim it and manage your brand page.