Distributing State Space for Parallel Computation of CTL Model Checking