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

CLEARSY will participate in the Safecomp 2007 conference to be held on September 18 to 21, 2007 in Nuremburg, Germany. […]

CLEARSY was present from June 12 to 14 at the SIFER rail transport system fair. To discover our booth, visit: […]

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