Published March 29, 2022 | Version v1
Dataset Open

Artifact of Infrastructure and Tools in the Context of Deep Statistical Model Checking

Authors/Creators

  • 1. Saarland University, Saarland Informatics Campus

Contributors

  • 1. Saarland University
  • 2. Technische Universität Dresden

Description

This artifact contains all infrastructure, tools, and additional material used in the context of Deep Statistical Model Checking (DSMC). This includes the DSMC implementation in modes of the Modest Toolset, the infrastructure used to perform case studies on DSMC, the environment and scripts in which the scalability study on DSMC has been performed, the integration of DSMC in MoGym, and also the TraceVis tool. The content has partially been covered in artifacts accompanying individual papers on DSMC, but is combined here based on a single infrastructure. Each folder contains its own readme describing how to use the scripts, tools, and infrastructure, often also with concrete instructions on how to execute exemplary experiments.

Files

DSMC-artifact.zip

Files (3.7 GB)

Name Size
md5:e690d9b7dd4f310ed978b7d41d249b27
3.7 GB Preview Download

Additional details

Related works

Continues
Dataset: 10.5281/zenodo.3760098 (DOI)
Dataset: 10.5281/zenodo.3961196 (DOI)
Dataset: 10.5281/zenodo.5643442 (DOI)
References
Conference paper: 10.1007/978-3-030-50086-3\_6 (DOI)
Conference paper: 10.1007/978-3-030-83723-5\_3 (DOI)