17 citations · 105 across the 18 of their papers we have counts for
1 paper · 2 filters
Jiří Barnat, Luboš Brim, Milan Češka
In this paper we present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to eff…