A Aralex Aachen research explorer

October 13, 2010 article

Parallel probabilistic model checking on general purpose graphics processors

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-010-0176-4 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 40

Towards End-to-End GPU Acceleration of PCTL Model Checking
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

1

citations
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

8

citations

2 results

References 0