Technical Reports
The report FIMU-RS-2009-05
CUDA accelerated LTL Model Checking
by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.
FIMU-RS-2009-05. Available as Postscript, PDF.
Abstract:
Recent technological developments made available various many-core hardware platforms. For example,
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.