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 |