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

Qu'est-ce que B4Free ?

B4free est un ensemble d'outils dédié au développement de modèles B. La société ClearSy en assure le développement.

B4Free, c’est aussi l’Atelier B en version mono-utilisateur, capable de générer du code C grâce au traducteur ComenC.

Les composants sont limités à 4000 obligations de preuve. B4Free s’adresse majoritairement au milieu académique universitaire mais aussi à quiconque désirant s’initier aux outils B.

Actualité de B4Free

L'Atelier B 4.0 est disponible !

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

23/02/2009