Verification Algorithms for Automated Separation Logic Verifiers (Artifact)
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/11218238
下载链接
链接失效反馈官方服务：
资源简介：
This is the artifact for the CAV 2024 paper "Verification Algorithms for Automated Separation Logic Verifiers". For more information, see the description of the artifact in "artifact_overview.pdf". The data in the artifact (minus the implementations of the benchmarked algorithms) can also be found on GitHub: https://github.com/marcoeilers/CAV24-data.
创建时间：
2024-07-31
