Platform Dependent Verification: On Engineering Verification Tools for 21st Century

by Luboš Brim, Jiří Barnat
Published 2011-10-01

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

by Jiří Barnat, Luboš Brim, Milan Češka
Published 2009-12-01

Computing Optimal Cycle Mean in Parallel on CUDA

by Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka
Published 2011-10-01

BioDiVinE: A Framework for Parallel Analysis of Biological Models

by David Šafránek, Jan Láník, Jana Fabriková, Sven Dražan, Ivana Černá, Luboš Brim, Jiří Barnat, Hongwu Ma
Published 2009-10-01