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

Formally-Proven Kosaraju's algorithm

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.
Fichier principal
Vignette du fichier
Note.pdf (205.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01095533 , version 2

Citer

Laurent Théry. Formally-Proven Kosaraju's algorithm. 2015. ⟨hal-01095533v2⟩
310 Consultations
497 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More