Published March 17, 2026 | Version v2
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.6 GB)

Name Size Download all
md5:d82e35a4c354f3a337c96c54970735a3
2.1 GB Download
md5:cedacd050028a61929218036648862bc
2.1 GB Download
md5:ddc771d8e52badd79f24808906e3a632
6.1 kB Preview Download
md5:b45f7730919a67736b761b42e0ad00bd
419.3 MB Preview Download