L'Atelier B 4.1 est disponible au téléchargement, notamment pour les machines Linux sous la forme de paquetages binaires pour les machines x86 32 bits sous...
Actualités
Vérification formelle de programmes automates avec la méthode B
Nous publions ce mémoire de fin d'études qui aborde une problématique centrale pour les systèmes automatiques industriels critiques. Auteur: Haniel Moreira...
Atelier B 4.1.0 & le Japon
CLEARSY et Witz Corporation coopèrent au développement de l'utilisation de la méthode B au Japon. Plusieurs actions ont été entreprises depuis l'année...
Event B 2012: Workshop on the experience of and advances in developing dependable systems in Event B
CLEARSY a participé à un workshop sur le B évènementiel (event B) à Kyoto au Japon le 13 novembre 2012, dans le cadre de la conférence ICFEM 2012. CLEARSY y a...
Conférence sur les méthodes formelles à l’Institut Aéronautique et Spaciale
Le pôle Aérospace Valley (DAS Systèmes Embarqués), avec le soutien du thème ISFE du RTRA AE/SE, a mis en place un cycle de de conférences techniques sur les...
Validation / génération de données
La validation et la génération de données constantes sont devenus des thèmes importants dans le monde ferroviaire, pour démontrer la sécurité d'un système...