A Cooperative Parallelization Approach for Property-Directed k-Induction