A Novel Approach for Bounded Model Checking Through Full Parallelism | IEEE Conference Publication | IEEE Xplore