There is a newer version of the record available.

Published March 17, 2026 | Version v1
Software Open

State Space Estimation for DPOR-based Model Checkers (Artifact)

Authors/Creators

  • 1. ROR icon Max Planck Institute for Software Systems
  • 2. ROR icon National University of Singapore
  • 3. ROR icon University of Illinois Urbana-Champaign

Files

jmc-artifact-README.md

Files (4.1 GB)

Name Size
md5:e2b964b8ae7a2d65ea461dc75363eb0b
2.1 GB Download
md5:d4e5e23e76bf05ac9a27c95527dbb02d
2.1 GB Download
md5:ddc771d8e52badd79f24808906e3a632
6.1 kB Preview Download