NEWS

Conference on Formal Engineering Methods
On the occasion of its 9th conference, the ICFEM (International Conference on Formal Engineering Methods), which will take place from November 14 to 15, 2007...

Atelier B 3.7 is available
Atelier B 3.7 has been available since 09/07/2007. It offers numerous improvements with major Atelier B functionalities in order to facilitate the developer’s...

Rodin Industry Day
We have the pleasure of informing you that CLEARSY are organising the Rodin Industry Day 2007. The event will take place in Paris on the 10th September 2007....

B 2007 Conference in Besançon, French Alps
CLEARSY participated in the B2007 Conference in Besancon, held from January 17 to 19. In the context of our Research and Development that we are conducting...

RODIN Platform
The RODIN Platform is available. Download RODIN...
AFADL’06 Conference
CLEARSY participated in AFADL’06 (March 15, 16 and 17, 2006). Demonstration of a new support tool for system specifications: CompoSys.