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

The version 1.6 of Composys, available for Linux and Windows, will be available for the end of June 2007, accompanied […]

We have the pleasure of informing you that CLEARSY are organising the Rodin Industry Day 2007. The event will take […]

We are pleased to inform you that CLEARSY is now diffusing B4free as a free-for-all tool. Restricted to academic users […]

Within the framework of the RODIN project, CLEARSY will be participating in the following conferences: a seminar dedicated to “Methods, […]