%0 Generic
%A Oortwijn, W.H.M. (Wytse)
%A Huisman, Marieke
%A van de Pol, J.C. (Jaco)
%D 2020
%T Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
%U https://data.4tu.nl/articles/dataset/Artifact_for_Automated_Verification_of_Parallel_Nested_DFS_TACAS_20/12727697/1
%R 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
%K Case study
%K Concurrency verification
%K Deductive verification
%K Model checking
%K Parallel graph searching
%K Separation logic
%X 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.
%I 4TU.Centre for Research Data