Published April 29, 2023
| Version v2
Software
Open
SC4DRF artifact
Authors/Creators
- 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.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:ba125550c7ea04a0f83d42d39f8d6d71
|
7.1 GB | Preview Download |