There is a newer version of the record available.

Published October 24, 2024 | Version v1
Software Open

GPUexplore-prob

  • 1. ROR icon Eindhoven University of Technology

Contributors

Project member:

  • 1. ROR icon Leiden University

Description

GPUexplore Prob model checker. See 

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

for more information.

Files

GPUExploreProb.zip

Files (471.2 kB)

Name Size Download all
md5:dd57ef1a57ae15598fb83b20fa5fbd0e
471.2 kB Preview Download

Additional details

Software

Programming language
Python, Cuda