GPU-PRISM

swMATH19543MaRDI QIDQ31370FDOQ31370

Author name not available (Why is that?)

Cited In (4)

• A formal verification technique for behavioural model-to-model transformations
• Accelerating SpMV multiplication in probabilistic model checkers using GPUs
• Term rewriting on GPUs
• Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components

This page was built for software: GPU-PRISM