Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
datasetposted on 20.02.2020 by W.H.M. (Wytse) Oortwijn, Marieke Huisman, J.C. (Jaco) van de Pol
Datasets usually provide raw data for analysis. This raw data often comes in spreadsheet form, but can be any collection of data, on which analysis can be performed.
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.