Automated Verification of Parallel Nested DFS

ISSN:0302-9743ISSN:1611-334

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

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