GPU-PRISM

MaRDI QIDQ31370swMATHFDO

Official website http://ieeexplore.ieee.org/abstract/document/5698465/

Cited in

(8)

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

This page was built for software: GPU-PRISM