Published April 20, 2024 | Version v2
Software Open

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction

Authors/Creators

  • 1. ROR icon Uppsala University
  • 2. ROR icon National Technical University of Athens

Files

POP-artifact.zip

Files (713.8 MB)

Name Size Download all
md5:2a5998ac84b0c93e5852b520d7faaccf
713.8 MB Preview Download

Additional details

Dates

Available
2024-04-20