Formalizations of Tarjan's strongly connected component algorithm


  1. System : Why3

    Link to the code

    Authors : chenr@ios.ac.cn, jean-jacques.levy@inria.fr


  2. System : Coq

    Link to the code

    Authors : Cyril.Cohen@inria.fr, Laurent.Thery@inria.fr


  3. System : Isabelle

    Link to the code

    Author : stephan.merz@inria.fr


Other formalisations are welcome! Please send information to Laurent.Thery@inria.fr