Niveau d'étude
BAC +5 (niveau 7)
ECTS
4 crédits
Composante
École d'ingénieur Denis Diderot
Période de l'année
Semestre 1
Syllabus
Formalismes de modélisation : systèmes de transitions, réseaux de Petri, systèmes communicants, systèmes temporisés.
Équivalences comportementales entres modèles, traces, (bi)simulation.
Formalismes de spécification : logique du premier ordre, logiques temporelles.
Classes de propriétés : sûreté, vivacité.
Dernière mise à jour le 24 février 2025
