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 has been available since 18 July 2007 and includes many upgrades for Atelier B’s major functionalities in […]
You can now download the new version of B4Free. Among its new principal features, this version includes a code generator […]
Brama is now available in version beta 1 (v0.0.10). It is fully functional and available with on-line documentation. You can […]
The version 1.6 of Composys, available for Linux and Windows, will be available for the end of June 2007, accompanied […]
We are pleased to inform you that CLEARSY is now diffusing B4free as a free-for-all tool. Restricted to academic users […]
The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this […]
B4free, the development environment for B models, is available to the scientific community: B4Free.com