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...
![ProB, utilisable depuis l’Atelier B 4.0](https://www.atelierb.eu/wp-content/uploads/2022/11/Clearsy-Thumbnail.png)
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...