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.