Published June 16, 2020
| Version ISOLA20-submission
Software
Open
Reproduction Package for ISoLA 2020 Article `Violation Witnesses and Result Validation for Multi-Threaded Programs'
Description
Reproduction Package for article "Violation Witnesses and Result Validation for Multi-Threaded Programs".
Files
witnesses-multi-threaded_ISOLA20-submission.zip
Files
(314.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5fe99d07d10bff442bed54368c9d748c
|
314.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1007/978-3-030-61362-4_26 (DOI)