Depth First Search Algorithms and Model Checking

Hi,

Does any one be able to help me out in explaining the concept of strongly connected components in a directed graph through dfs algorithms? Thanks in advance

What is it you don't understand?