Développé par la société ClearSy, l'Atelier B est l'outil industriel qui permet une utilisation opérationnelle de la méthode B pour des développements logiciels prouvés sans défaut. Pour cela, il fait appel à la modélisation formelle des spécifications du logiciel, leur raffinement jusqu'à obtention d'un modèle implémentable, ainsi qu'à la preuve mathématique que l'implémentation ne contredit pas la spécification du logiciel.
l'Atelier B a notamment été utilisé pour le développement des automatismes sécuritaires du métro automatique par Siemens.
En résumé, voici comment définir ce site : atelier b, formation b, atelier de génie logiciel, génie logiciel et méthodes formelles
Autres sites suggérés
Logiciel de test fonctionnel et ingénierie informatique
Logiciels de test fonctionnel et de régression, dictionnaire de données Cobol, solution de migration Pacbase, ingénierie d'informatique de gestion au forfait ou en régie.
Site pro (SA). En ligne depuis 2000. 
PARIS (France)
Logiciel d'aide à la commande numérique
Logiciel d'aide à la commande numérique, Spécialiste liaison DNC, création réseau d'atelier, connexion avec tout les types de bancs de pré-réglage du marché.
Site pro (SARL) 
Arles (France)
Antiquités : meuble industriel ancien, mobilier design, usine, atelier
Spécialiste et passionné du mobilier design industriel, nous proposons un large choix de meuble de métier, objet, luminaire provenant d'usine atelier..., entièrement restauré dans notre atelier de façon artisanal, nous proposons aussi un service de restauration d'objet sur notre site vous [...]
Vente en ligne de licences Alias
Vente en ligne de licences AGL pour concevoir sans programmation ses propres logiciels et applications de gestion 100% Web.
Site pro (SARL) - Vente en ligne. En ligne depuis 2013. 
