CUDA Accelerated LTL Model Checking -- Revisited

• Autoři: BAUCH Petr; ČEŠKA Milan
• Rok publikování: 2010
• Druh: Článek ve sborníku
• Konference: Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010)
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

• Verifikace a analýza velmi velkých počítačových systémů
• 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