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 […]

RODIN: a three year Project Computer science

The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this […]

B4Free Computer science

B4free, the development environment for B models, is available to the scientific community: B4Free.com