The new version of Atelier B is in beta test Computer science

More informations about Atelier B 4.0 on the Atelier B website…

Free Version of Atelier B Computer science

Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The […]

Atelier B 3.7.1 Computer science

Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof […]

Atelier B 3.7 Computer science

Atelier B 3.7 has been available since 18 July 2007 and includes many upgrades for Atelier B’s major functionalities in […]

New Version of B4Free Computer science

You can now download the new version of B4Free. Among its new principal features, this version includes a code generator […]

Brama available in beta 1 version Computer science

Brama is now available in version beta 1 (v0.0.10). It is fully functional and available with on-line documentation. You can […]

Composys, version 1.6 Computer science

The version 1.6 of Composys, available for Linux and Windows, will be available for the end of June 2007, accompanied […]

B4free as a free-fo-all tool Computer science

We are pleased to inform you that CLEARSY is now diffusing B4free as a free-for-all tool. Restricted to academic users […]