http://www.clearsy.com ClearSy System Engineering, Specialist in Safety Critical Systems. http://www.fersil.fr/images/clearsy_texte.gif http://www.clearsy.com/html/index_en.htm http://www.clearsy.com/html/actualites_en.html 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 the xemacs EMACSPRI proof interface has been improved. The future version 3.7.2 is currently under development and is announced for early... Mon, 10 Mar 2008 15:15:00 GMT http://www.clearsy.com/html/actualites_en.html Atelier B 3.7 Atelier B 3.7 has been available since 18 July 2007 and includes many upgrades for Atelier B's major functionalities in order to facilitate developers' tasks by focusing on the user interface, proof and system features... Tue, 04 Oct 2007 11:11:00 GMT http://www.clearsy.com/html/actualites_en.html B4Free 3.2 You can now download the new version of B4Free. Among its new principal features, this version includes a code generator to translate B implementations into C language. This new version is also based on the 3.7 version of Atelier B... Tue, 04 Oct 2007 10:59:00 GMT http://www.clearsy.com/html/actualites_en.html Conférence SBMF 2007 ClearSy attended the SBMF 2007 Conference and presented its article: "Formal Methods in Safety-Critical Railway Systems".... Tue, 20 Sep 2007 13:22:00 GMT http://www.clearsy.com/html/cosyc_en.htm Projet Cosyc The PACA region, OSéo Innovation and the Pôle de Compétitivité’s “Secure Communicating Solutions” have retained the Cosyc Project (Correct Construction of Critical Onboard Communicating Systems) within the framework of the finalised research project request 2007 (PRIDES). Fri, 27 Jul 2007 15:00:00 GMT http://www.clearsy.com/html/actualites_en.html Conférence SAFECOMP 2007 ClearSy will participate in the Safecomp 2007 conference to be held on September 18 to 21, 2007 in Nuremburg, Germany... Mon, 16 Jul 2007 15:17:00 GMT