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

{{ :prog:atelierb:atelierb-free-24.04.2-windows.exe |Archive v24.04.2}}

[[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 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.15.0.zip |Archive v1.15.0}} {{ :prog:atelierb:prob_src-1.15.0.tgz |Code source}} {{ :prog:atelierb:prob_public_examples-1.11.1.tgz |Exemples}}

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