par Ganty, Pierre 
Président du jury Massart, Thierry
Promoteur Raskin, Jean-François
Publication Non publié, 2007-09-28
Président du jury Massart, Thierry
Promoteur Raskin, Jean-François
Publication Non publié, 2007-09-28
Thèse de doctorat
| Titre: |
|
| 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 |
