Complexité certifiée d'algorithmes autostabilisants en rondes - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

Complexité certifiée d'algorithmes autostabilisants en rondes

Abstract

Cet article décrit une extension de la bibliothèque PADEC qui permet le développement de preuves certifiées en Coq d'algorithmes autostabilisants. Cette extension introduit la définition d'une mesure de complexité en temps essentielle pour ces algorithmes : la ronde. Cette définition s'accompagne d'un ensemble d'outils permettant de faciliter les preuves de complexité en rondes. L'extension contient aussi une étude de cas en validant l'usage.
rnd_algotel (1).pdf (181.77 Ko) Télécharger le fichier

Dates and versions

hal-04081085 , version 1 (25-04-2023)

Identifiers

  • HAL Id : hal-04081085 , version 1

Cite

Karine Altisen, Pierre Corbineau, Stéphane Devismes. Complexité certifiée d'algorithmes autostabilisants en rondes. 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France. ⟨hal-04081085⟩
16 View
11 Download

Share

Gmail Facebook X LinkedIn More