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),...

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...