(3.0 cr.)

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

(02/2026)

Appartenance départementale

Informatique et mathématique

Programmes dans lesquels se trouve ce cours

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

Ce cours est offert au trimestre suivant:

Été 2026

Groupe 01 (Saguenay (campus principal)) - RÉSERVÉ

du lundi 04-05-2026 au lundi 11-05-2026 de 09:00 à 12:00 Local:
du mercredi 06-05-2026 au mercredi 13-05-2026 de 16:00 à 18:45 Local:
le vendredi 22-05-2026       de 13:00 à 15:45 Local:
du lundi 25-05-2026 au lundi 15-06-2026 de 09:00 à 12:00 Local:
du mercredi 27-05-2026 au mercredi 17-06-2026 de 16:00 à 18:45 Local:
le vendredi 12-06-2026       de 13:00 à 15:45 Local:
le mardi 23-06-2026       de 13:00 à 15:45 Local: