data.zip (147.76 MB)
Download fileArtifact for Automated Verification of Parallel Nested DFS, TACAS’20
dataset
posted on 2020-02-20, 00:00 authored by W.H.M. (Wytse) Oortwijn, Marieke HuismanMarieke Huisman, J.C. (Jaco) van de PolThis 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.