Published September 22, 2022
| Version 2
Software
Open
Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'
- 1. Radboud University
- 2. University of Twente
Description
This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker file, which can be unzipped and then loaded with:
docker load -i slurf_cav22_docker.tar
Please refer to the README for more information.