CUDA Accelerated LTL Model Checking -- Revisited

• Authors: BAUCH Petr; ČEŠKA Milan
• Year of publication: 2010
• Type: Article in Proceedings
• Conference: Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010)
• MU Faculty or unit: Faculty of Informatics

Related projects

• Verification and Analysis of Large-Scale Computer Systems
• Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace