@Inproceedings{EPTCS14.8, author = {Barnat, Ji\v{r}\'i and Brim, Lubo\v{s} and \v{C}e\v{s}ka, Milan}, year = {2009}, title = {DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking}, editor = {Brim, Lubos and van de Pol, Jaco}, booktitle = {{\rm Proceedings 8th International Workshop on} Parallel and Distributed Methods in verifiCation, {\rm Eindhoven, The Netherlands, 4th November 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {14}, publisher = {Open Publishing Association}, pages = {107-111}, doi = {10.4204/EPTCS.14.8}, }