CUDA Accelerated LTL Model Checking - Revisited

Petr Bauch, Milan Ceska. CUDA Accelerated LTL Model Checking - Revisited. In Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos, editors, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. Volume 16 of OASICS, pages 1-8, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. [doi]

Abstract

Abstract is missing.