CUDA Accelerated LTL Model Checking.

Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr

Browse the full ICPADS paper archive.