Module « Logique avancée »
Volume horaire
- 14 heures de cours magistral.
Description du module
Ce cours prolonge naturellement « Automates et logiques » (premier semestre). Nous nous intéressons aux liens entre la théorie des automates et les logiques temporelles (LTL, CTL, CTL*, etc), et aux applications de ces dernières en model-checking.