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

“B Dissemination Day 2008” Seminar in Brazil Exhibitions/conferences

This year, AeS and CLEARSY are organizing a day dedicated to the B Method, which will take place in Brazil […]

Vector Forum 2008: “Onboard Systems Today and in 20 Years” Exhibitions/conferences

CLEARSY will participate in the Forum organized by Vector France to be held on June 24, 2007 in the Congress […]

CLEARSY at INNOTRANS fair, Berlin 2008
INNOTRANS Fair 2008 Exhibitions/conferences, Railway

CLEARSY participated in the INNOTRANS Fair to take place from September 23 to 26, 2008 in Berlin. In the context […]

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

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

Filter posts