Ce chapitre 15 présente le model-checking et la vérification avec une attention pour les aspects temporisés. Vous pouvez vous appuyer sur le support : 5-VerificationFormelle_SED2025.pdf et appliquer l'exemple sous UppAal avec le modèle : 5-Verif-trains2b.xml
Équipe pédagogique
Contributeur : Silvano Dal Zilio Intervenant : Silvano Dal Zilio
