Structures ordonnées
Ordres et topologies. Points fixes. Approximations et correspondances de Galois. Domaines de Scott
Sémantiques dénotationnelles
Domaines d’interprétation. Sémantique directe et par continuations.
Correction et complétude de la Sémantique Axiomatique.
Analyse de programmes
3.1. Analyses dynamique et statique. Systèmes de types.
3.2. Interprétation abstraite : principes, élargissement/rétrécissement, analyses avant et arrière, analyse polyédrale.
Vérification
4.1. Logiques modales. Structures de Kripke. Model checking.
4.2. Systèmes réactifs. Logiques temporelles LTL et CTL.