Published 2025 | Version v3
Software Open

GPUexplore-prob

Creators

  • 1. ROR icon Eindhoven University of Technology

Contributors

Project member:

  • 1. ROR icon Leiden University

Description

GPUexplore Prob model checker. See the README and

artifact/tools/benchmark/benchmark.sh --help

for more information.

Files

GPUexploreProb.zip

Files (334.3 kB)

Name Size Download all
md5:e012077ca1405bfaecdecab31d91e702
334.3 kB Preview Download

Additional details

Funding

Dutch Research Council
GAP: GPU Accelerated Probabilistic Model Checking of Information and Communication Systems OCENW.M.21.061

Software

Programming language
Python, Cuda