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
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)