Preuves d’algorithmes distribués par raffinement

Preuves d’algorithmes distribués par raffinement

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...

Full description

Bibliographic Details
Main Author: Tounsi, Mohamed
Other Authors: Bordeaux 1
Language:fr
Published: 2012
Subjects:
Algorithmes distribués
Calculs locaux
Technique du raffinement
Approche "correct-par-construction"
Méthodes formelles
Méthode B évènementielle
Visidia
Distributed algorithms
Local computations
Refinement technique
"Correct-by-construction" approach
Formal Methods
Event-B method
Online Access:http://www.theses.fr/2012BOR14545/document

Internet

http://www.theses.fr/2012BOR14545/document

Similar Items