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.
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
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.
  • 2020-02-20 first online, published, posted
4TU.Centre for Research Data
media types: application/zip, text/plain, text/x-c++, text/x-shellscript
  • NWO TOP, 612.001.403
  • NWO VICI, 639.023.710
University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools


files (1)