NEWS

Free Version of Atelier B

Free Version of Atelier B

Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The version currently being prepared and tested internally will be...

FMICS 2009 International Workshop

CLEARSY has the pleasure of announcing its participation to the FMICS 2009, that will take place at the University of Eindhoven from the November 2 to 3rd...

FM2008 in Turku, Finland

FM2008 in Turku, Finland

At the occasion of the FM'2008 international conference on formal methods, located in Turku, Finland, May 28-30 2008, CLEARSY presented, during the Industry...