Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles / David Declerck ; sous la direction de Fatiha Zaïdi

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Architecture -- Informatique

Vérification de modèles (informatique)

Programmation parallèle (informatique)

Zaïdi, Fatiha (Directeur de thèse / thesis advisor)

Dague, Philippe (1951-....) (Président du jury de soutenance / praeses)

Bouajjani, Ahmed (Rapporteur de la thèse / thesis reporter)

Méry, Dominique (Rapporteur de la thèse / thesis reporter)

Conchon, Sylvain (1972-....) (Membre du jury / opponent)

Maranget, Luc (Membre du jury / opponent)

Quéinnec, Philippe (19..-.... ; enseignant-chercheur en informatique) (Membre du jury / opponent)

Université Paris-Saclay (2015-2019) (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire de recherche en informatique (Orsay, Essonne) (Laboratoire associé à la thèse / thesis associated laboratory)

Université Paris-Sud (1970-2019) (Autre partenaire associé à la thèse / thesis associated third party)