Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Datacite citation style:
Oortwijn, W.H.M. (Wytse); Huisman, Marieke; van de Pol, J.C. (Jaco) (2020): Artifact for Automated Verification of Parallel Nested DFS, TACAS’20. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Dataset
usage stats
1404
views
2
citations
244
downloads
licence
Apache-2.0
This dataset contains the artifact for our TACAS'20 article titled: Automated Verification of Parallel Nested DFS.
More specifically, it contains the VerCors implementation of the parallel NDFS algorithm described in Section 3 of the paper, as well as the two optimisations of parallel NDFS described in Section 4. It also contains a release of VerCors for verifying these three implementations.
history
- 2020-02-20 first online, published, posted
publisher
4TU.Centre for Research Data
format
media types: application/zip, text/plain, text/x-c++, text/x-shellscript
funding
- NWO TOP, 612.001.403
- NWO VICI, 639.023.710
organizations
University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools
DATA
files (1)
- 154,939,413 bytesMD5:
dc7b8407e8a67c589a676878833fc208
data.zip -
download all files (zip)
154,939,413 bytes unzipped