Thèse de doctorat
Titre:
  • The Fixpoint checking problem: an abstraction refinement perspective
Auteur:Ganty, Pierre
Président du jury:Massart, Thierry
Promoteur:Raskin, Jean-François
Membre du jury:Van Begin, Laurent; Armando, Alessandro; Ranzato, Francesco; Cousot, Patrick; Delzanno, Giorgio
Informations sur la publication:Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:2007-09-28
Sujet CREF:Informatique générale
Sciences exactes et naturelles
Volumes/pages:1 v. (xvii, 150 p.)
Mots-clés:Computer programs -- Verification
Computer security
Electronic data processing -- Distributed processing
Logiciels -- Vérification
Sécurité informatique
Traitement réparti
Abstraction Refinement/Abstraction Raffinement
Abstract Interpretation/Interprétation Abstraite
Model-Checking/Model-Checking
Intitulé du diplôme:Doctorat en Sciences
Langue:Anglais
Anneé académique:2007-2008
Identificateurs:bictel.ulb.ac.be:ULBetd-09262007-180017
ulbcat.ulb.ac.be:797650