www.prismmodelchecker.org
[WB12] Anton Wijs and Dragan Bosnacki. Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. In A. Donaldson and D. Parker (editors), Proc. 19th International SPIN Workshop on Model Checking of Software (SPIN'12), volume 7385 of LNCS, pages 98-116, Springer. 2012. [Presents new methods for GPU-based probabilistic model checking, implemented as an extension of PRISM.]
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications