[[https://www.atelierb.eu|Site web]]

{{ :prog:atelierb:atelierb-free-4.7.1-win32.exe |Archive v4.7.1}}

[[https://mooc.imd.ufrn.br/course/the-b-method|MOOC]], Archive {{ :prog:atelierb:atelierb-mooc1.zip |Partie 1}} {{ :prog:atelierb:atelierb-mooc2.zip |Partie 2}}

De nombreux exemples existent dans les {{ :prog:atelierb:prob_public_examples-1.11.1.tgz |exemples}} de ProB.

  * ProB

Il permet de jouer les machines implémentées depuis Atelier B.

[[https://prob.hhu.de/|Site web]]

[[https://prob.hhu.de/w/index.php?title=Download|Téléchargement]] {{ :prog:atelierb:prob.windows64-1.11.1.zip |Archive v1.11.1}} {{ :prog:atelierb:prob_src-1.11.1.tgz | Code source}} {{ :prog:atelierb:prob_public_examples-1.11.1.tgz |Exemples}}

Nécessite [[lang:tcl|tcl/tk x64]].