Contact

Formation Event-B (B événementiel)

 Formation à la méthode B

Le B événementiel est une spécialisation de la méthode formelle B, utilisée pour décrire formellement les systèmes et raisonner mathématiquement sur leurs propriétés.

MODALITÉS FORMATION EVENT-B

Le but de cette formation est de permettre l’utilisation du B événementiel pour la modélisation et la validation de systèmes. La formation fournit un rappel des principes de la méthode formelle B et de la théorie utilisée par le B événementiel ainsi qu’une introduction aux spécificités de ce dernier.

OBJECTIFS :

> Acquérir les bases de la méthode formelle B.
> Comprendre les principes de la modélisation de systèmes avec B.
> Valider des propriétés sur des systèmes en utilisant le B événementiel.
> Écrire de “bons” modèles en B événementiel.

PERSONNES CONCERNÉES :

> Toute personne voulant acquérir des connaissances sur le B événementiel.
> Toute personne voulant utiliser B pour modéliser des systèmes.

PRÉ- REQUIS :

> Connaissances mathématiques du niveau d’un bac scientifique.
> Connaissances de base en B, ou formation “comprendre B” conseillés.

DURÉE :

4 jours

ORGANISATION :

> 10 personnes au maximum par formation.
> La formation se déroule dans les locauxde CLEARSY à Aix ou à Paris (sauf dispositions exceptionnelles).
> Contactez CLEARSY pour connaître les dates des prochaines formations.

PROGRAMME :

> Introduction au B événementiel.
> Le langage B événementiel.
> Techniques de raffinement.

TARIFS :

> Une réduction de 15% est accordée pour un groupe de 3 personnes au moins, du même organisme.

DES RÉFÉRENCES :

> Métro de New York (NYCT) (États-Unis)
> Alstom (France)

Plus d'informations sur "Formation à la méthode B"

Copy link
Powered by Social Snap