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 est un ensemble d'outils dédié au développement de modèles formels 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

 

 

 

 

 

 

 

 

 


Les Sites et Outils Formels de ClearSy...

ClearSy, spécialiste des Systèmes Sécuritaires Atelier B Brama.fr CompoSys.fr Traducteur ComenC Méthode B.com Fersil.fr DOF1.eu

Newsletter

Adresse email :   Inscription Désinscription

Par respect de la loi du 06-01-78 vous gardez un droit d'accès et de rectification aux données vous concernant.