CUDA Accelerated LTL Model Checking -- Revisited

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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
Citation
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