Description
GPUexplore Prob model checker. See artifact/tools/benchmark/benchmark.sh --help for more information.
| Date made available | 24 Oct 2024 |
|---|---|
| Publisher | Zenodo |
GPUexplore-prob
- Jan Heemstra (Creator)
- Anton J. Wijs (Supervisor)
- Muhammad Osama (Leiden University) (Contributor)
Dataset