Descriptif
Objectifs de formation
L'objectif de l'UE est d'introduire les concepts de base de la vérification des systèmes répartis et concurrents.
Contenu - Seront traités, notamment, les aspects suivants :
- Introduction et rôle de la vérification dans le processus de développement, modélisation de comportement et de propriétés et sémantique formelle.
- Algèbre de processus et systèmes de transitions étiquetés
- Propriétés remarquables (non déterminisme, deadlock, livelock, équité, famine, etc.).
- Relations de simulation et de bisimulation.
- Logiques temporelles (LTL et CTL), Model Checking, structure de kripke, automate de Buchi, point fixe.
- Réseaux de Petri, modélisation de la concurrence, de la synchronisation, du conflit.
- Propriétés de finitude, invariants linéaires.
L'objectif de l'UE est d'introduire les concepts de base de la vérification des systèmes répartis et concurrents.
Contenu - Seront traités, notamment, les aspects suivants :
- Introduction et rôle de la vérification dans le processus de développement, modélisation de comportement et de propriétés et sémantique formelle.
- Algèbre de processus et systèmes de transitions étiquetés
- Propriétés remarquables (non déterminisme, deadlock, livelock, équité, famine, etc.).
- Relations de simulation et de bisimulation.
- Logiques temporelles (LTL et CTL), Model Checking, structure de kripke, automate de Buchi, point fixe.
- Réseaux de Petri, modélisation de la concurrence, de la synchronisation, du conflit.
- Propriétés de finitude, invariants linéaires.
24 heures en présentiel (16 blocs ou créneaux)
Diplôme(s) concerné(s)
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Echange non diplomant
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2.5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Diplôme d'ingénieur
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2.5 ECTS
- Crédit d'UE électives acquis : 2.5
La note obtenue rentre dans le calcul de votre GPA.
Programme détaillé