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.

Files

README.md

Files (1.8 GB)

Name Size Download all
md5:4fe869ee987a340198fb0d54c55c47f1
35.1 kB Download
md5:c21d1e772563af090aa3e86ec6fc1217
15.5 kB Preview Download
md5:1ed89ad27ed1e9fb1804cfac41e9b92b
1.8 GB Preview Download