Le B Workbook est maintenant disponible sur le GitHub de CLEARSY : (https://github.com/CLEARSY/BWORKBOOK). Après plusieurs mois de travail collaboratif, cette...
Documentation
ERTS 2014
CLEARSY a participé à la conférence "Embedded Real Time Software and Systems" (ERTS 2014) qui a eu lieu du 5 au 7 Février à Toulouse. A cette occasion,...
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...
Etat d’Avancement des Traductions des Manuels Atelier B
Vous avez été nombreux à nous répondre pour participer à la traduction des manuels dédiés à l'Atelier B et nous vous en remercions. Voici donc un point sur...