Différences

Ci-dessous, les différences entre deux révisions de la page.

--- prog:atelierb [2022/01/09 10:17] – Ajout d'un mooc officiel root
+++ prog:atelierb [2022/01/23 18:44] (Version actuelle) – Ajout des exemples de ProB root
@@ Ligne 5: / Ligne 5: @@
 [[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]].