Accelerating SpMV multiplication in probabilistic model checkers using GPUs

DOI10.1007/978-3-030-85315-0_6OpenAlexW3195926294MaRDI QIDQ2119962

Shahid Khan, Muhammad Hannan Khan, Osman Hassan

Publication date: 31 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85315-0_6

zbMATH Keywords

GPUprobabilistic model checkingsparse matrix-vector multiplication\textsc{Storm}

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• CUDA
• OpenCL
• CUSP
• CUSPARSE
• APMC
• Storm
• GPU-PRISM
• GitHub

Cites Work

• Probabilistic verification of Herman's self-stabilisation algorithm
• The Probabilistic Model Checking Landscape
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Accelerating SpMV multiplication in probabilistic model checkers using GPUs