There is anewer version of the record available.
Published June 30, 2023 | Version v1
Software Open
Interactive Visualization Meets Probabilistic Model Checking Artifact
- 1. Institute of Theoretical Computer Science, TU Dresden, Germany
- 2. Interactive Media Lab Dresden, TU Dresden, Germany
Description
This is the Artifact for the submitted paper "Interactive Visualization
Meets Probabilistic Model Checking". In the paper, we talk at length about
our prototype tool PMC-Vis, and the insights we are able to gather with it.
This Artifact contains the source code of PMC-Vis, as well as multiple docker
images that can be used to start the tool out of the box. Furthermore, we
included the example model used in the paper, as well as the experiment data
with instructions on how to replicate it.
Files
Artifact.zip
Files (3.3 GB)
| Name | Size | Download all |
|---|---|---|
| md5:ae4805dd270a94ddb25cf32480dd272c | 3.3 GB | PreviewDownload |
454
Views
76
Downloads
Show more details
Versions
External resources
Indexed in
Communities
Details
- DOI
DOI BadgeDOI
10.5281/zenodo.8099470
Markdown
[](https://doi.org/10.5281/zenodo.8099470)
reStructuredText
.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.8099470.svg :target: https://doi.org/10.5281/zenodo.8099470
HTML
<a href="https://doi.org/10.5281/zenodo.8099470"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8099470.svg" alt="DOI"></a>
Image URL
https://zenodo.org/badge/DOI/10.5281/zenodo.8099470.svg
Target URL
https://doi.org/10.5281/zenodo.8099470
- Resource type
- Software
- Publisher
- Zenodo
Rights
- MIT LicenseA short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code.Read more
Citation
Export
Technical metadata
- Created
- July 1, 2023
- Modified
- July 21, 2023