www.prismmodelchecker.org
[BESW10] Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski and Anton Wijs. GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units. In Proc. 9th International Workshop on Parallel and Distributed Methods in Verification. 2010. [bib] [Presents an extension of PRISM for parallel probabilistic model checking on GPUs.]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications