Systerel, acteur de référence depuis plus de 15 ans dans la mise en œuvre industrielle des techniques formelles, participera à la 6ème Conférence internationale ABZ.

Cette conférence, dont Systerel est membre du comité de programme, se tiendra à Southampton (UK) du 5 au 8 juin.

Systerel est co-auteur de l’article « On the importance of explicit domain modelling in refinement-based modelling design Experiments with Event-B » et interviendra à travers la présentation « Modelling Dynamic Data Structures with the B Method ». Cette dernière décrira la mise en œuvre de la méthode B dans le développement de la solution Systerel Safe and Secure OPC, implémentation sécurisée du protocole OPC-UA.

La conférence ABZ est dédiée à l’enrichissement mutuel de six méthodes formelles, liées par leurs approches basées sur la construction d’états et de machines : Abstract State Machines (ASM), Alloy, B, TLA (Temporal Logic of Actions), VDM (Vienna Development Method) et Z.

Programme Expertise méthodes formelles