|
|
POLYTECH-App5 - Modélisation et vérification [sep-jan] |
Parcours: Spécialité Informatique par Apprentissage de Polytech
Le but de ce cours est de montrer des techniques et des outils de spécification et de modélisation des systèmes, ainsi que les techniques et les outils de validation et de vérification correspondants. On aborde en particulier la modélisation par automates communicants, le model-checking de propriétés temporelles sur ces modèles, et la génération de tests à partir de ces modèles. On utilise en TP un outil illustrant ces techniques. | ||
Module: | Polytech Apprentissage et FC - Cinquième année | |
1 * 18 h | Cours | Asma Berriri(1) |
1 * 9 h | TD | Asma Berriri(1) |
1 * 9 h | TP | Asma Berriri(1) |
36 h présentielles (hors soutien) | ||
Date: 08-09-2024 @ 05:31 |
|
|