Site web
Archive v4.7.1
MOOC, Archive Partie 1 Partie 2
De nombreux exemples existent dans les exemples de ProB.
Il permet de jouer les machines implémentées depuis Atelier B.
Téléchargement Archive v1.11.1 Code source Exemples
Nécessite tcl/tk x64.