CLEARSY a participé au Salon INNOTRANS qui s’est déroulé du 23 au 26 septembre 2008, à Berlin. Dans le cadre […]

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 […]

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 […]

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 […]

CLEARSY était présente à la conférence SBMF 2007 et y a présenté son article : « Formal Methods in Safety-Critical Railway […]

CLEARSY participera à la conférence Safecomp 2007 qui se tiendra du 18 au 21 septembre 2007, à Nüremberg en Allemagne. […]

CLEARSY était présente du 12 au 14 juin, au salon ferroviaire SIFER. Pour découvrir notre stand, rendez-vous sur cette page […]

Brama est maintenant disponible en version beta 1 (v0.0.10). Il est pleinement fonctionnel et disponible avec sa documentation en ligne. […]