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

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

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

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

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

CLEARSY attended the SBMF 2007 Conference and presented its article: “Formal Methods in Safety-Critical Railway Systems”. We discussed the use […]