There is a newer version of the record available.

Published January 7, 2025 | Version v1
Software Open

Sound Statistical Model Checking for Probabilities and Expected Rewards (experimental reproduction package)

Creators

  • 1. ROR icon Technical University of Denmark
  • 2. ROR icon University of Twente
  • 3. ROR icon Lancaster University
  • 4. ROR icon Institute of Science and Technology Austria
  • 5. ROR icon TU Dresden

Description

Artifact to reproduce the experimental results presented in the article "Sound Statistical Model Checking for Probabilities and Expected Rewards" by by Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft (TACAS 2025).

The contents include all data and software (formal models, software tools, Python & bash scripts) used in the experimental evaluation presented in sections 3, 4, and 6 of the article. Detailed instructions on how to reproduce the results are bundled in the artifact.

Files

README.pdf

Files (207.5 MB)

Name Size Download all
md5:02818b2fb2712ff36a90df9590351865
207.1 MB Download
md5:7392c291b3446b99a8f862817083e50b
1.1 kB Preview Download
md5:a7cade27fdc344c878210c1945929e64
23.3 kB Preview Download
md5:6161b3d886f33b81fcd2c4758357e9bc
373.3 kB Preview Download

Additional details

Funding

Dutch Research Council
Trustworthy Analysis of Stochastic Timed Systems (TruSTy) VI.Vidi.223.110
European Commission
IST-BRIDGE – IST-BRIDGE: International postdoctoral program 101034413
Ministero dell'università e della ricerca
Smartitude - PRIN 2022 - NextGenerationEU D53D23008400006
European Commission
MISSION – Models in Space Systems: Integration, Operation, and Networking 101008233
Ministero dell'università e della ricerca
SERICS - PNRR - NextGenerationEU PE00000014