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

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.