Méthodes de spécification formelle
Méthodes de spécification formelle: automates, expressions régulières, logiques classiques et temporelles, notation B, Z et CCS. Génération automatique de tests, notions de couverture, exécution symbolique dynamique. Le monitoring et l'analyse de traces: exemples, algorithme. Outils de monitoring: Java-MOP, BeepBeep. Le modèle checking et la vérification statique: exemples, algorithmes. Méthodes de réduction de l'espace d'état, abstraction et raffinement. Outils de vérification: Concurrency Workbench, Java Pathfinder, SPIN et NuSMV.
Formule pédagogique : Cours Magistral
0784 | Programme court de deuxième cycle en informatique pour étudiants en séjour d'études |
1537 | Maîtrise en informatique (jeux vidéo) |
2138 | Maîtrise en informatique (cybersécurité) |
2139 | Maîtrise en informatique (intelligence artificielle) |
3017 | Maîtrise en informatique |
3037 | Maîtrise en informatique (professionnel) |
3775 | Diplôme d'études supérieures spécialisées en informatique appliquée |
Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ
du | mardi | 07-05-2024 | au | mardi | 18-06-2024 | de | 13:00 | à | 15:45 | Local: | ||
du | vendredi | 10-05-2024 | au | vendredi | 21-06-2024 | de | 09:00 | à | 11:45 | Local: |