Designing Fast LTL Model Checking Algorithms for Many−Core GPUs - Barnat, J; Bauch, P; Brim, L; Češka, M (Journal of Parallel and Distributed Computing, 2012)