Published April 17, 2025 | Version v1
Software Open

Artifact for the paper "What are the Odds? Improving the Foundations of Statistical Model Checking"

Creators

  • 1. ROR icon TU Dresden
  • 2. ROR icon Lancaster University
  • 3. Institute of Science and Technology Austria
  • 4. ROR icon Ruhr University Bochum

Files

artifact.zip

Files (38.9 MB)

Name Size Download all
md5:82536a65e97366ed8d4d322ea79fb750
38.9 MB Preview Download

Additional details

Related works

Is supplement to
Publication: arXiv:2404.05424 (arXiv)