http://www.clearsy.com Actualité de ClearSy System Engineering, Spécialiste des systèmes sécuritaires. http://www.fersil.fr/images/clearsy_texte.gif http://www.clearsy.com http://www.clearsy.com/html/actualites.html Atelier B 3.7.1 La version 3.7.1 de l’Atelier B est disponible. Elle corrige des anomalies mineures de l'atelier B sur le vérificateur de type et l'interface de preuve, et améliore la compatibilité avec l'interface de preuve xemacs EMACSPRI. La future version 3.7.2 est actuellement en développement et a été annoncée pour début... Mon, 10 Mar 2008 15:13:00 GMT http://www.clearsy.com/html/actualites.html Atelier B 3.7 L'Atelier B 3.7 est disponible depuis le 18/07/2007. Il apporte de nombreuses améliorations aux fonctionnalités de l'Atelier B afin de faciliter le travail du développeur en agissant sur l'interface utilisateur, la preuve et l'aspect système... Tue, 04 Oct 2007 11:11:00 GMT http://www.clearsy.com/html/actualites.html B4Free 3.2 Une nouvelle version de B4Free est désormais téléchargeable. Les principales nouveautés : un générateur de code permettant de traduire les implémentations B en langage C. Cette nouvelle version est également basée sur l'Atelier B dans sa version 3.7... Tue, 04 Oct 2007 10:59:00 GMT http://www.clearsy.com/html/actualites.html Conférence SBMF 2007 Clearsy était présente à la conférence SBMF 2007 et y a présenté son article :"Formal Methods in Safety-Critical Railway Systems"... Tue, 20 Sep 2007 13:22:00 GMT http://www.clearsy.com/html/cosyc.htm Projet Cosyc La région PACA, OSéo Innovation et le Pôle de Compétitivité « Solutions Communicantes Sécurisées » ont retenu le projet Cosyc (Construction correcte de Systèmes communicants embarqués Critiques) dans le cadre de l'appel à projet de recherche finalisé 2007 (PRIDES). Fri, 27 Jul 2007 15:00:00 GMT http://www.clearsy.com/html/actualites.html Conférence SAFECOMP 2007 ClearSy participera à la conférence Safecomp 2007 qui se tiendra du 18 au 21 septembre 2007, à Nüremberg en Allemagne... Mon, 16 Jul 2007 15:17:00 GMT