cff-version: 1.2.0
abstract: "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."
authors:
  - family-names: Oortwijn
    given-names: W.H.M. (Wytse)
  - family-names: Huisman
    given-names: Marieke
    orcid: "https://orcid.org/0000-0003-4467-072X"
  - family-names: van de Pol
    given-names: J.C. (Jaco)
title: "Artifact for Automated Verification of Parallel Nested DFS, TACAS’20"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
license: Apache-2.0
date-released: 2020-02-20