Formally-Proven Kosaraju's algorithm - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Formally-Proven Kosaraju's algorithm

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01095533 , version 2

Cite

Laurent Théry. Formally-Proven Kosaraju's algorithm. 2015. ⟨hal-01095533v2⟩
299 View
409 Download

Share

Gmail Facebook Twitter LinkedIn More