Published April 29, 2023
| Version v3
Software
Open
SC4DRF artifact
- 1. University of Delaware
- 2. Argonne National Laboratory
Description
This is the second revision of 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
(7.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:57718a5b0032e20ed48dc3852c4f8542
|
7.7 GB | Preview Download |