Published April 29, 2023
| Version v4
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