Home | B News | B Method | R&D Activities | Formal Proof | Publications | Conferences | B, the different languages | Open Source Projects | B Tools | Documents | Links | Contact

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.

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.

Link