11 citations · 25 across the 10 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…