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

Oortwijn, W.H.M. (Wytse)
Huisman, M. (Marieke)
Joosten, S.J.C. (Sebastiaan)
van de Pol, J.C. (Jaco)

Open link

Publication date

October 2019

DOI

10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b

Publisher

4TU.Centre for Research Data

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