Technical Reports
A List by Author: Tomáš Lamr
- e-mail:
- xlamr(a)fi.muni.cz
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.