TY - DATA
T1 - Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
PY - 2020/02/20
AU - W.H.M. (Wytse) Oortwijn
AU - Marieke Huisman
AU - J.C. (Jaco) van de Pol
UR - https://data.4tu.nl/articles/dataset/Artifact_for_Automated_Verification_of_Parallel_Nested_DFS_TACAS_20/12727697/1
DO - 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
KW - Case study
KW - Concurrency verification
KW - Deductive verification
KW - Model checking
KW - Parallel graph searching
KW - Separation logic
N2 - 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.
ER -