Formally-Proven Kosaraju's algorithm - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

Formally-Proven Kosaraju's algorithm

Laurent Théry
Connectez-vous pour contacter l'auteur
Mathematical, Reasoning and Software

Résumé

This notes explains how the Kosaraju's algorithm that computes the strong-connected components of a directed graph has been for-malised in the Coq prover using the SSReflect extension.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
Kosaraju.pdf (106.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Laurent Théry  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01095533

Soumis le : lundi 15 décembre 2014-17:15:50

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : lundi 16 mars 2015-12:30:14

Télécharger pour visualiser

Dates et versions

hal-01095533 , version 1 (15-12-2014)
hal-01095533 , version 2 (26-02-2015)

Identifiants

  • HAL Id : hal-01095533 , version 1

Citer

Laurent Théry. Formally-Proven Kosaraju's algorithm. 2014. ⟨hal-01095533v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
305 Consultations
446 Téléchargements

Partager

Gmail Facebook X LinkedIn More