Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

Les Projets Open Source de ClearSy

En 2008, ClearSy a décidé de mettre à disposition gratuitement l'Atelier B, afin de favoriser la dissémination de B.

Dans le but de faciliter l'appropriation des technologies sous-jacentes, plusieurs des outils clés de l'Atelier B deviennent des projets communautaires open-source, parmi lesquels:

  • le compilateur B
  • l'outil de raffinement automatique BART
  • l'interface homme machine de l'Atelier B 4
  • le traducteur ComenC

Pour l'instant, il s'agit avant tout de transformer ces projets en véritables projets open-source. Nous prévoyons d'étaler ces travaux sur la période 2008-2010.

N'hésitez pas à nous contacter si vous souhaitez contribuer à l'un de ces projets.

Lien