- Enseignant-e: Didier Buchs
Compilateurs et interprètes
- Enseignant-e: Didier Buchs
Ce cours a comme objectif de présenter les concepts fondamentaux des systèmes concurrents et répartis, ainsi que les outils de modélisation et de preuves de ces systèmes.
- Enseignant-e: Didier Buchs
- Enseignant-e: Dimi Racordon
Nous aborderons dans ce cours les moyens pratiques pour modéliser et vérifier des systèmes, les techniques et les outils spécifiques seront découverts et employés sur la base de projets concrets.
- Enseignant-e: Didier Buchs
- Enseignant-e: Gilles Falquet
- Enseignant-e: Dimi Racordon
Réseaux de Petri, syntaxe, sémantique, propriétés, analyse.
Extensions aux réseaux de Petri: réseaux colorés, réseaux temporisés.
Logique propositionnelle, logique des prédicats, preuves.