Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published June 30, 2023 | Version v2
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


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 in Artifact/


Files (2.9 GB)

Name Size Download all
2.9 GB Preview Download