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 :
4 jours
ORGANISATION :
- 10 personnes au maximum par formation.
- La formation se déroule dans les locaux de CLEARSY à Aix ou à Paris (sauf dispositions exceptionnelles).
- Contactez CLEARSY pour connaître les dates des prochaines formations.
- Une réduction est appliquée aux détenteurs d’un contrat de maintenance Atelier B.
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.