Ecole des jeunes chercheurs en Programmation- Utilisation de l'AtelierB
Quleques slides pour démarrer
Accès à l'AtelierB 4.0 (free) :
http://www.atelierb.eu/
Accès à la documentation :Documentation de l'outil Pour installation à partir de la page 10
Correspondance symboles mathématiques - symboles ASCII
Documentation pour la preuve interactive
- Un premier TP : preuves de boucles :
- un second TP : Modélisation et raffinement