Nos équipes participeront à la 9ᵉ Conférence Internationale ABZ, qui se tiendra à Nancy du 31 mai au 2 juin 2023.

Cette année, Systerel co-organisera l’atelier destiné aux utilisateurs et aux développeurs de Rodin.

La plate-forme Rodin est dédiée au développement en B événementiel, supportant de façon robuste le raffinement de modèles et la preuve mathématique.

Cet atelier permettra aux utilisateurs de Rodin de partager leurs expériences et de mieux comprendre les développements en cours.

Pour les développeurs de plug-ins, ce sera également l’occasion de présenter leurs outils et de mieux coordonner les efforts de développement.

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

Pour en savoir davantage sur cet événement : https://abz2023.loria.fr/