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

Dataset

Description

This dataset contains the artifact for our TACAS'20 article titled: Automated Verification of Parallel Nested DFS.

Case study, Concurrency verification, Deductive verification, Model checking, Parallel graph searching, Separation logic
Date made available2020
Publisher4TU.Centre for Research Data
Date of data production2020

Cite this

Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator), van de Pol, J. (Creator) (2020). Artifact for Automated Verification of Parallel Nested DFS, TACAS’20. 4TU.Centre for Research Data. 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b