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): Basil Çapar
- Enseignant (éditeur): Ahmad Faour
- Enseignant (éditeur): François Ferry
- 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