Complexité certifiée d'algorithmes autostabilisants en rondes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Complexité certifiée d'algorithmes autostabilisants en rondes

Résumé

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 et versions

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

Identifiants

  • HAL Id : hal-04081085 , version 1

Citer

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⟩
18 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More