Effective Stochastic Automata Model Checking by Interval Abstraction

This artifact can be used to reproduce all experiment results from the corresponding paper"Effective Stochastic Automata Model Checking by Interval Abstraction".The artifact has been created on a machine with amd64 architecture using podman v5.4.2.It has been tested with podman v4.9.5, podman v5.4.2 and docker v29.4.0, build 9d7ad9f.The quick check for Phase I one should take less then 5 minutes of runtime while the experimentsin Phase II should run in under 2 hours.The README gives a generous upper bound on the runtime for each command that is required to run the tools.We recommend to run this artifact on a machine with more than 16 GB RAM.No network access or additional licenses are required to run this artifact.