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.

Site web

Téléchargement Archive v1.11.1 Code source Exemples

Nécessite tcl/tk x64.