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

Gratuité de l'Atelier B...

La version 4 de l'Atelier B sera gratuite pour tous dès sa sortie, en fin d'année 2008.
La version en cours de préparation est testée en interne et sera proposée à quelques utilisateurs volontaires entre... (suite...)

02/07/2008