A Fully Parallel Approach of Model Checking Via Probe Machine