(147.76 MB)
Download file

Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

Download (147.76 MB)
posted on 2020-02-20, 00:00 authored by W.H.M. (Wytse) Oortwijn, Marieke HuismanMarieke Huisman, J.C. (Jaco) van de Pol
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.


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


4TU.Centre for Research Data


media types: application/zip, text/plain, text/x-c++, text/x-shellscript