Software Open Access

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

Thom Badings; Nils Jansen; Sebastian Junges; Marielle Stoelinga; Matthias Volk

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 (1.8 GB)
Name Size
LICENSE
md5:4fe869ee987a340198fb0d54c55c47f1 		35.1 kB Download
README.md
md5:c21d1e772563af090aa3e86ec6fc1217 		15.5 kB Download
slurf.zip
md5:1ed89ad27ed1e9fb1804cfac41e9b92b 		1.8 GB Download
184
12
views
downloads
All versions This version
Views 18461
Downloads 123
Data volume 17.7 GB5.5 GB
Unique views 13950
Unique downloads 113
More info on how stats are collected.
Indexed in
Publication date:
September 22, 2022
DOI:
10.5281/zenodo.7104342

Zenodo DOI Badge

DOI 

10.5281/zenodo.7104342

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7104342.svg)](https://doi.org/10.5281/zenodo.7104342)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7104342.svg
   :target: https://doi.org/10.5281/zenodo.7104342

HTML 

<a href="https://doi.org/10.5281/zenodo.7104342"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7104342.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7104342.svg

Target URL 

https://doi.org/10.5281/zenodo.7104342

Keyword(s):
Parametric continuous-time Markov chains Scenario optimization Uncertainty Probabilistic model checking
Meeting:
34th International Conference on Computer Aided Verification (CAV 2022), Haifa, Israel, 7-10 August 2022
License (for files):
GNU Affero General Public License v3.0

Versions

Version 2 10.5281/zenodo.7104342 Sep 22, 2022
Version 1 10.5281/zenodo.6523864 May 6, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6523863. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export