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 4.0
ProB, utilisable depuis l’Atelier B 4.0
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...
L’Atelier B 4.0 est disponible !
Nous avons le plaisir de vous annoncer la sortie de l'Atelier B 4.0. Celle-ci s'accompagne d'un tout nouveau mode de distribution pour lequel : le...
L’Atelier B 4.0 en beta test 2…
CLEARSY la met à disposition des utilisateurs pour obtenir des retours et des échanges concernant cette version. Nous remercions par avance tout les...
L’Atelier B 4.0 en beta test…
CLEARSY la met à disposition des utilisateurs pour obtenir des retours et des échanges concernant cette version. Nous remercions par avance tout les...
Quelques captures d’écran de l’Atelier B 4.0
En attendant la sortie de l'Atelier B 4.0, nous vous laissons découvrir en avant première quelques captures d'écrans de notre application sous les systèmes...