Published January 5, 2023
| Version v2
Dataset
Open
Reconciling Preemption Bounding with DPOR
Description
This is the artifact accompanying our paper "Reconciling Preemption Bounding with DPOR", accepted for publication at TACAS 2023.
Files
artifact.zip
Files
(225.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:cdbcdee7fd3dc2bc2f3a1a0a533f352e
|
225.9 MB | Preview Download |