GPU-PRISM : an extension of PRISM for general purpose graphics processing units

D. Bosnacki, S. Edelkamp, D. Sulewski, A.J. Wijs

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)


We present an extension of the model checker PRISM for (general purpose) graphics processing units (GPUs). The extension is based on parallel algorithms for probabilistic model checking which are tuned for GPUs. In particular, we parallelize the parts of the algorithms that boil down to linear algebraic operations, like solving systems of linear equations and matrix vector multiplication. These computations are performed very efficiently on GPGPUs which results inconsiderable runtime improvements compared to the standard versions of PRISM. We evaluated the extension of PRISM on several case studies in which we observed significant speedup over the standard CPU implementation of the tool.
Original languageEnglish
Title of host publication2010 Ninth International Workshop on Parallel and Distributed Methods in Verification / 2010 Second International Workshop on High Performance Computational Systems Biology
Place of PublicationWashington
PublisherInstitute of Electrical and Electronics Engineers
ISBN (Print)978-0-7695-4265-2
Publication statusPublished - 2010


Dive into the research topics of 'GPU-PRISM : an extension of PRISM for general purpose graphics processing units'. Together they form a unique fingerprint.

Cite this