24 mai 2023
Les spécialistes de CLEARSY participeront à cette conférence à laquelle nous tenons particulièrement depuis la première à Nantes que nous avons co-organisée.
Cette année elle se tiendra à Nancy et est organisée par le LORIA.
Les conférences ABZ jalonnent l’histoire de la méthode formelle B et des outils Atelier B pour le B logiciel et le B système (event-B).
Cette fois ci nous réaliserons un tutoriel d’un développement avec la méthode B utilisant le calculateur de sécurité certifié SIL4 de CLEARSY.
The programme complet est ici : https://easychair.org/smart-program/ABZ2023/
Voir aussi : https://abz2023.loria.fr/
Plus de détails sur https://github.com/CLEARSY/tutorial-ABZ-2023