Login / Signup
Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle.
Ran Chen
Cyril Cohen
Jean-Jacques Lévy
Stephan Merz
Laurent Théry
Published in:
ITP (2019)
Keyphrases
</>
strongly connected components
dynamic programming
formal proofs
computational complexity
matching algorithm
optimal solution
search space
linear programming
segmentation algorithm
detection algorithm
image matching
randomly generated