OPEN SOURCE


CLEARSY'S OPEN SOURCE PROJECTS


In 2008, ClearSy decided to make Atelier B available at no cost in order to favour the dissemination of B.

CLEARSY'S OPEN SOURCE PROJECTS


In order to facilitate the appropriation of underlying technologies, a number of Atelier B’s key tools have become open source community projects, including:

> The B compiler
> The automatic BART refinement tool
> ATELIER B 4 GUI
> The ComenC translator

For the time being, these projects are meant to turn into open source projects and will cover 2008/2010.
Please contact us if you would like to contribute to one of these projects.

SEE CLEARSY TOOLS