GPU-PRISM
From MaRDI portal
Cited in
(8)- A formal verification technique for behavioural model-to-model transformations
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- Term rewriting on GPUs
- mCRL2
- GPUexplore
- REFINER
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
- CrystalBall
This page was built for software: GPU-PRISM
