Formation B

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.
• 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.

Tarifs

• 1.780 EUR HT par personne.
• Une réduction de 15 % est accordée pour un groupe de 3 personnes au moins, du même organisme.

Programme

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.

Principes du prouveur automatique

• Description des stratégies et des mécanismes du prouveur automatique de l'Atelier B.

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.

Organisation pratique

• La plupart de la formation se 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.