Infeasible Path Detection : a Formal Model and an Algorithm / Romain Aïssat ; sous la direction de Burkhart Wolff

Date :

Editeur / Publisher : , 2017

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Méthodes formelles (informatique) -- Thèses et écrits académiques

Logiciels -- Essais -- Thèses et écrits académiques

Logiciels -- Validation -- Thèses et écrits académiques

Logiciels -- Vérification -- Thèses et écrits académiques

Wolff, Burkhart (Directeur de thèse / thesis advisor)

Denise, Alain (Président du jury de soutenance / praeses)

Voisin, Frédéric (Membre du jury / opponent)

Laroussinie, François (Membre du jury / opponent)

Blazy, Sandrine (Membre du jury / opponent)

Bousquet, Lydie du (Membre du jury / opponent)

Université Paris-Saclay (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 (Autre partenaire associé à la thèse / thesis associated third party)