Différences

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

--- prog:atelierb [2021/11/21 19:20] – Création avec v4.5.1 root
+++ prog:atelierb [2022/01/23 18:44] (Version actuelle) – Ajout des exemples de ProB root
@@ Ligne 1: / Ligne 1: @@
 [[https://www.atelierb.eu|Site web]]
-{{ :prog:atelierb:atelierb-free-4.5.1-win32.exe |Archive v4.5.1}}
+{{ :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]].