https://hgpu.org/?p=4214
CUDA Accelerated LTL Model Checking