Published April 29, 2023
| Version v1
Software
Open
SC4DRF artifact
Authors/Creators
- 1. University of Delaware
- 2. Argonne National Laboratory
Description
This is the Artifact for the CAV 2023 paper: Model Checking Race-Freedom when "Sequential Consistency for Data-race-free Programs" is Guaranteed
Files
sc4drf.zip
Files
(9.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:5f97f0dccb0ef8d9c3a08736a15148f6
|
9.2 GB | Preview Download |