Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b

Olivier Bournez 1 Garnier Florent 1 Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous présentons une méthode de preuve qui permet de montrer la terminaison en temps moyen fini d'un algorithme probabiliste et distribué utilisé par le protocole WI-FI 802.11b.
Type de document :
Rapport
[Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00104120
Contributeur : Florent Garnier <>
Soumis le : jeudi 5 octobre 2006 - 17:18:40
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : mardi 6 avril 2010 - 18:36:02

Identifiants

  • HAL Id : inria-00104120, version 1

Collections

Citation

Olivier Bournez, Garnier Florent, Claude Kirchner. Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b. [Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13. 〈inria-00104120〉

Partager

Métriques

Consultations de la notice

172

Téléchargements de fichiers

873