18 décembre 2024
L’Atelier B vient de franchir pour la première fois la barre des 10 000 téléchargements annuels.
La rentrée universitaire 2024 a vu un doublement des téléchargements par rapport à l’année 2023.
CLEARSY, leader dans l’application de la méthode formelle B, développe et distribue l’Atelier B, l’outil associé à cette méthode. Cet outil est utilisé pour produire des logiciels sûrs prouvés mathématiquement, et pour prouver des raisonnements de sécurité au niveau système.
L’atelier B Windows représente la moitié des téléchargements. L’Atelier B Linux est téléchargé deux fois plus que celui pour MacOS.