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
Pour toute information, écrivez-nous:
Bureau du registraire
Page réalisée par le Service des technologies de l'information
Extrait du système intégré de gestion des activités relatives à l'enseignement
© Université du Québec à Chicoutimi, 12/2024
| 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 |