B4free, outil logiciel pour l'enseignement de la méthode formelle B en milieu académique, et dédié au développement de logiciels prouvés

Qu'est-ce que B4Free ?

B4free était un ensemble d'outils dédié au développement de modèles formels B, basé sur une version bridée de l'Atelier B et principalement destiné au monde académique. La société ClearSy en a assuré le développement jusqu'en 2009.

Depuis 2009, l’Atelier B est disponible en version communautaire, complètement fonctionnelle. Nous vous invitons donc à télécharger l'Atelier B en lieu et place de B4Free.

Les ressources liées à B4Free restent utilisables dans le cas d'enseignements existants ayant recours à cet outil. Toutefois il n'est plus besoin de fichier de licence pour l'utiliser.

Actualité de B4Free

L'Atelier B 4.1 est disponible !

Nous avons le plaisir de vous annoncer la sortie de l'Atelier B 4.1 (version communautaire).

20/12/2013

L'Atelier B 4.0 est disponible !

Nous avons le plaisir de vous annoncer la sortie de l'Atelier B 4.0 (version communautaire) . Celle-ci s'accompagne d'un tout nouveau mode de distribution ... (suite...)

23/02/2009