Parallel probabilistic model checking on general purpose graphics processors