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. […]
La version 1.6 de Composys, disponible sous Linux et Windows, sera disponible fin Juin 2007, accompagnée d’une version draft de […]
Nous avons le plaisir de vous informer que CLEARSY organise la journée Rodin Industry Day 2007. La journée aura lieu […]
Nous avons le plaisir de vous informer que CLEARSY diffuse maintenant une version gratuite de l’outil B4free pour tous. Réservé […]
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 !