Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog] ...

The Tarjan's Algorithm is a depth-first search based algorithm used to find all strongly connected components (SCCs) in a directed graph. The SCCs form subgraphs where every vertex is reachable from ...

Abstract: The reliability and performance of concurrency are severely affected by deadlocks in concurrent systems. An efficient deadlock detection algorithm is needed to ensure that any deadlock cases ...