Preuves d’algorithmes distribués par raffinement
dc.contributor.advisor | Mosbah, Mohamed | |
dc.contributor.author | TOUNSI, Mohamed | |
dc.contributor.other | Métivier, Yves | |
dc.date | 2012-07-04 | |
dc.date.accessioned | 2020-12-14T21:10:40Z | |
dc.date.available | 2020-12-14T21:10:40Z | |
dc.identifier.uri | http://ori-oai.u-bordeaux1.fr/pdf/2012/TOUNSI_MOHAMED_2012.pdf | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/21654 | |
dc.identifier.nnt | 2012BOR14545 | |
dc.description.abstract | Dans cette thèse, nous avons étudié et développé un environnement de preuve pour les algorithmes distribués. Nous avons choisi de combiner d’une part l’approche "correct-par-construction" basée sur la méthode "B évènementielle" et d’autre part les calculs locaux comme un outil de codage et de preuve d’algorithmes distribués. Ainsi, nous avons proposé un patron et une approche qui caractérisent d’une façon incrémentale une démarche générale de preuve de plusieurs classes d’algorithmes distribués. Les solutions proposées sont validées et implémentées par un outil de preuve appelé B2Visidia. | |
dc.description.abstractEn | In this thesis, we have studied and developed a proof environment for distributed algorithms. We have chosen to combine the “correct-by-construction” approach based on the “Event-B” method and the local computations models. These models define abstract computing processes for solving problems by distributed algorithms. Thus, we have proposed a pattern and an approach to characterize a general approach to prove several classes of distributed algorithms. The proposed solutions are implemented by a tool called B2Visidia. | |
dc.language.iso | fr | |
dc.subject | Algorithmes distribués | |
dc.subject | Calculs locaux | |
dc.subject | Technique du raffinement | |
dc.subject | Approche "correct-par-construction" | |
dc.subject | Méthodes formelles | |
dc.subject | Méthode B évènementielle | |
dc.subject | Visidia | |
dc.subject.en | Distributed algorithms | |
dc.subject.en | Local computations | |
dc.subject.en | Refinement technique | |
dc.subject.en | "Correct-by-construction" approach | |
dc.subject.en | Formal Methods | |
dc.subject.en | Event-B method | |
dc.subject.en | Visidia | |
dc.title | Preuves d’algorithmes distribués par raffinement | |
dc.type | Thèses de doctorat | |
dc.contributor.jurypresident | Méry, Dominique | |
bordeaux.hal.laboratories | Thèses de l'Université de Bordeaux avant 2014 | * |
bordeaux.hal.laboratories | Laboratoire bordelais de recherche en informatique | |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.type.institution | Bordeaux 1 | |
bordeaux.thesis.discipline | Informatique | |
bordeaux.ecole.doctorale | École doctorale de mathématiques et informatique (Talence, Gironde) | |
star.origin.link | https://www.theses.fr/2012BOR14545 | |
dc.contributor.rapporteur | Aït-Ameur, Yamine | |
dc.contributor.rapporteur | Couvreur, Jean-Michel | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Preuves%20d%E2%80%99algorithmes%20distribu%C3%A9s%20par%20ra%EF%AC%83nement&rft.atitle=Preuves%20d%E2%80%99algorithmes%20distribu%C3%A9s%20par%20ra%EF%AC%83nement&rft.au=TOUNSI,%20Mohamed&rft.genre=unknown |
Fichier(s) constituant ce document
Fichiers | Taille | Format | Vue |
---|---|---|---|
Il n'y a pas de fichiers associés à ce document. |