Equipe enseignante 2023-2024
Benedikt Bollig, Patricia Bouyer et François Laroussinie.
Plan de la première partie:
-
Présentation de la logique temporelle
- Logiques temporelles: LTL, CTL,...
- Problèmes de vérification
- Méthodes algorithmiques à base d’automates pour les logiques temporelles:
- automate alternant de mots infinis + application à LTL
- automates d’arbres + application à CTL
- Complexité
- Expressivité
Actualités
Documents
Email: francoisl[at]irif.fr