A Novel Approach for Bounded Model Checking Through Full Parallelism