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é) |
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 | 02-05-2023 | au | mardi | 20-06-2023 | de | 16:00 | à | 18:45 | Local: | P1-4250 | |
du | jeudi | 04-05-2023 | au | jeudi | 15-06-2023 | de | 13:00 | à | 15:45 | Local: | P1-4250 |