Tomá Lamr is an author at Masaryk University specializing in formal verification, parallel computing, and parallel programming.
Top concepts
EngineeringVerificationGpu ComputingFormal MethodsComputer ScienceHardware SecurityParallel ComputingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2009–2009
1
1
CUDA Accelerated LTL Model Checking
Milan Ceka, Tomá Lamr · 2009 · 37 citations
Rows per page
1–1 of 1