AeS et CLEARSY organisent cette année une journée dédiée à la méthode B, qui se déroulera au Brésil, en août […]
CLEARSY participera au Forum organisé par Vector France, qui se tiendra le 24 juin 2008, au Palais des Congrès à […]
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. […]
Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !