NEWS
Atelier B 3.7.1
Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof type and interface verifier and compatibility with...
Nantes Conference – June 16, 2008
The B Method: from Research to Teaching The “B Method: from Research to Teaching” seminar took place in Nantes on June 16, 2008 on the occasion of the...
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...
IFM 2009, 7th International Conference on Integrated Formal Methods
CLEARSY will be participating to the IFM 2009 (Integrated Formal Methods) that will take place in Duesseldorf from the February 16th to the 19th 2009. This...
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...