Formation à la Méthode B
– Niveau 3 : Prouver B
PROUVER B
Télécharger le programme de la formation B – niveau 3
OBJECTIFS :
- Apprendre à prouver un modèle B à l’aide de l’Atelier B.
PERSONNES CONCERNÉES :
- Toute personne souhaitant mener à bien la preuve d’un projet B.
DURÉE :
3 jours
ORGANISATION :
- 10 personnes au maximum par formation. 3 personnes minimum pour organiser une session spécifique.
- La formation se déroule dans les locaux de CLEARSY à Aix, Lyon ou Paris (sauf dispositions exceptionnelles).
- Les locaux sont accessibles aux personnes à mobilité réduite.
- Contactez CLEARSY pour connaître les dates des prochaines formations.
- La pause déjeuner est organisée dans un restaurant près du lieu de formation. Les frais de repas sont à la charge des stagiaires.
PROGRAMME
1 – PRINCIPES DE L’ACTIVITÉ DE PREUVE
L’activité de preuve à l’aide de l’Atelier B se découpe en plusieurs phases :
- utilisation du prouveur automatique pour démontrer la plupart des obligations de preuves justes,
- examen des obligations de preuve restantes pour détecter des erreurs et
- finalisation de la preuve à l’aide du prouveur interactif.
2 – PRINCIPES DU PROUVEUR AUTOMATIQUE
Description des stratégies et des mécanismes du prouveur automatique de l’Atelier B.
3 – UTILISATION DU PROUVEUR INTERACTIF
- Description des principes d’utilisation du prouveur interactif,
- description des commandes de preuve interactive,
- conseils méthodologiques pour mener à bien une démonstration interactive.
4 – ORGANISATION PRATIQUE
La plupart de la formation de déroule sous la forme de Travaux Dirigés et de Travaux Pratiques, afin d’acquérir une pratique réelle des outils de preuve de l’Atelier B. Les auditeurs sont amenés à démontrer des projets entiers avec l’Atelier B. Les aspects maintenance / sauvegarde des preuves sont étudiés.