Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski. Efficient Probabilistic Model Checking on General Purpose Graphics Processors. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 32-49, Springer, 2009. [doi]
Abstract is missing.