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
Case study, Concurrency verification, Deductive verification, Model checking, Parallel graph searching, Separation logic
Date made available | 2020 |
---|---|
Publisher | 4TU.Centre for Research Data |
Date of data production | 2020 |