Verification Algorithms for Automated Separation Logic Verifiers (Artifact)

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.本材料为计算机辅助验证（Computer-Aided Verification, CAV）2024年会论文《自动化分离逻辑验证器的验证算法》（Verification Algorithms for Automated Separation Logic Verifiers）的配套附属实验材料（artifact）。如需了解更多详情，请参阅“artifact_overview.pdf”中针对该附属材料的说明文档。该附属材料所包含的数据（不含基准测试算法的实现代码）亦可通过GitHub仓库https://github.com/marcoeilers/CAV24-data获取。