Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
![Atelier B pour développer une implémentation OPC UA open source](https://www.atelierb.eu/wp-content/uploads/2021/08/robot-tesla-recadree.jpg)
Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
ProB est utilisable depuis l'Atelier B 4.0 pour prouver et animer des modèles B logiciels et événementiels, grâce au mécanisme d'extension qui permet de...