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 |
| 6803 | Baccalauréat avec majeure en mathématiques appliquées |
Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ
| du | mardi | 06-05-2025 | au | mardi | 17-06-2025 | de | 13:00 | à | 15:45 | Local: | ||
| du | vendredi | 09-05-2025 | au | vendredi | 20-06-2025 | de | 13:00 | à | 15:45 | Local: | ||
| le | lundi | 23-06-2025 | de | 09:00 | à | 11:45 | Local: |