Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
收藏Mendeley Data2024-03-27 更新2024-06-29 收录
下载链接：
https://data.4tu.nl/articles/_/12727697/1
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-06-28
