Don't have Telegram yet? Try it now!
https://hgpu.org/?p=1342
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking