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