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.
Document type :
Reports
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00104120
Contributor : Florent Garnier <>
Submitted on : Thursday, October 5, 2006 - 5:18:40 PM
Last modification on : Thursday, January 11, 2018 - 6:19:57 AM
Long-term archiving on : Tuesday, April 6, 2010 - 6:36:02 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

194

Files downloads

919