Published April 27, 2023 | Version 0.1
Software Open

Unblocking Dynamic Partial Order Reduction (Replication Package)

Creators

  • 1. MPI-SWS

Description

This is the artifact accompanying our paper "Unblocking Dynamic Partial Order Reduction", accepted for publication at CAV'23.

Files

instructions.pdf

Files (2.7 GB)

Name Size Download all
md5:187d47c66462f095894faad76395901e
2.7 GB Download
md5:ecfc9cf77c27fd759ce657f6a26a0a1a
70.5 kB Preview Download

Additional details

Funding

PERSIST – A Semantic Foundation for Persistent Programming 101003349
European Commission