DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking