Accueil |
Actualité |
Présentation |
Tutoriels |
Documents |
Télécharger |
Installation |
Liens |
Contact |
|
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
Les Sites et Outils Formels de ClearSy...
Newsletter
Par respect de la loi du 06-01-78 vous gardez un droit d'accès et de rectification aux données vous concernant.