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

URL

Metadata

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

W.H.M. (Wytse) Oortwijn, Marieke 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.

Citation