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

  • Thom Badings (Creator)
  • Nils Jansen (Creator)
  • Sebastian Junges (Creator)
  • Mariëlle I.A. Stoelinga (Creator)
  • Matthias Volk (Creator)

Dataset

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.
Date made available22 Sept 2022
PublisherZenodo

Access Dataset

Cite this