There is a newer version of the record available.

Published May 6, 2022 | Version 1
Software Open

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'

Creators

  • 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 (2.4 GB)

Name Size Download all
md5:4fe869ee987a340198fb0d54c55c47f1
35.1 kB Download
md5:08fac3589c8a49dabf50838940c0da8d
15.3 kB Preview Download
md5:037d1f174f824674cc6c2801e723f22c
2.4 GB Preview Download