Outils mathématiques de la fiabilité des systèmes et de sécurité de l'information. Modélisation des systèmes séquentiels, concurrents : réseaux de Petri (places/transitions et colorés), systèmes de transitions communicants, programmes séquentiels. Spécification : logique de Hoare, logique temporelle linéaire, propriétés structurelles de réseaux de Petri, propriétés de flux d'information, treillis du flux d'information sûr. Vérification : analyse structurelle des réseaux de Petri, model checking (vérification de modèle), preuves de programmes, analyse de flux d'information dans les systèmes de transitions, détection de flux d'information dans les programmes.
- Responsable du site: Olivier Gendreau
- Enseignant (éditeur) : Mohammed Faïçal Abouzaid
- Enseignant (éditeur) : Basil Çapar
- Enseignant (éditeur) : Gaëtan Dupeuble
- Enseignant (éditeur) : Ahmad Faour
- Enseignant (éditeur) : François Ferry
- Enseignant (éditeur) : Sardaouna Hamadou
- Enseignant (éditeur) : John Mullins
- Enseignant (éditeur) : Mohameth Alassane Ndiaye
- Enseignant (éditeur) : Mohameth Alassane Ndiaye
- Enseignant (éditeur) : Paulina Stevia Nouwou Mindom
- Enseignant (éditeur) : Victor Petit
- Enseignant (éditeur) : Oswald Pichot
- Enseignant (éditeur) : Rim Zrelli