Published July 31, 2024 | Version v1
Dataset Open

Verification Algorithms for Automated Separation Logic Verifiers (Artifact)

Authors/Creators

  • 1. ROR icon ETH Zurich

Description

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.

Files

artifact_overview.pdf

Files (9.7 GB)

Name Size Download all
md5:4d8dc9c678b419938a014938a4aedb3c
147.8 kB Preview Download
md5:2347f4a2111b4005ef7f4e01d2e1efa0
9.7 GB Download

Additional details

Software

Repository URL
https://github.com/marcoeilers/CAV24-data