Published March 28, 2020
| Version VerificationWitnesses-artifact-TOSEM
Software
Open
Reproduction Package for TOSEM Article 'Verification Witnesses'
Creators
- 1. LMU Munich, Germany
- 2. University of Freiburg, Germany
- 3. Queen Mary University of London, Germany
Description
This is the reproduction package for the TOSEM article DOI:10.1145/3477579.
The archive contains the tools that we executed and the data that we produced.
Files
verification-witnesses-2020.zip
Files
(1.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:a6adffc4ef5bf0ca64ccf5202e1cd617
|
1.6 GB | Preview Download |
Additional details
Related works
- Is supplement to
- Journal article: 10.1145/3477579 (DOI)