Atelier B swMATH ID: 7086 Software Authors: ClearSy; France Steria Description: 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). Two versions are available: Community Edition available to anyone without any restriction, 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. Homepage: http://www.atelierb.eu/en/ Keywords: B Method Related Software: ProB; Rodin; Zenon; CADP; SPIN; LOTOS; Isabelle/HOL; csp2B; CoreASM; WebASM; SICStus; JeB; Overture Tool; VisB; BMotionWeb; BTestBox; EventB2Java; GitHub; z3; Modelica Cited in: 16 Publications Further Publications: http://www.atelierb.eu/en/industrial-references-for-atelier-b/ all top 5 Cited by 27 Authors 3 Cansell, Dominique 3 Leuschel, Michael 2 Abrial, Jean-Raymond 2 Berkani, Karim 2 Delahaye, David 2 Dubois, Catherine 2 Jacquel, Mélanie 2 Méry, Dominique 1 Attiogbé, J. Christian 1 Bendisposto, Jens 1 Bert, Didier 1 Cave, Francis 1 Chartier, Pierre 1 Dima, Cătălin 1 Doche, Marielle 1 Dunkelau, Jannik 1 Ferreira, Carla 1 Gravell, Andrew M. 1 Halmagrand, Pierre 1 Körner, Philipp 1 Krings, Sebastian 1 Laffitte, Guy 1 Lang, Frédéric 1 Massart, Thierry Jacques 1 Mateescu, Radu 1 Rukšėnas, Rimvydas 1 Vekris, Dimitris Cited in 4 Serials 2 Formal Aspects of Computing 1 Formal Methods in System Design 1 Nordic Journal of Computing 1 Annals of Mathematics and Artificial Intelligence Cited in 2 Fields 16 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) Citations by Year